2 * Copyright (c) 2013, Anish Gupta (akgupt3@gmail.com)
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
8 * 1. Redistributions of source code must retain the above copyright
9 * notice unmodified, this list of conditions, and the following
11 * 2. Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
15 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
16 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
17 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
18 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
19 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
20 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
21 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
22 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
23 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
24 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 #include <machine/asmacros.h>
30 #include "svm_assym.h"
33 * Be friendly to DTrace FBT's prologue/epilogue pattern matching.
35 * They are also responsible for saving/restoring the host %rbp across VMRUN.
37 #define VENTER push %rbp ; mov %rsp,%rbp
38 #define VLEAVE pop %rbp
40 #define VMLOAD .byte 0x0f, 0x01, 0xda
41 #define VMRUN .byte 0x0f, 0x01, 0xd8
42 #define VMSAVE .byte 0x0f, 0x01, 0xdb
45 * svm_launch(uint64_t vmcb, struct svm_regctx *gctx, struct pcpu *pcpu)
46 * %rdi: physical address of VMCB
47 * %rsi: pointer to guest context
48 * %rdx: pointer to the pcpu data
53 /* save pointer to the pcpu data */
57 * Host register state saved across a VMRUN.
59 * All "callee saved registers" except:
60 * %rsp: because it is preserved by the processor across VMRUN.
61 * %rbp: because it is saved/restored by the function prologue/epilogue.
69 /* Save the physical address of the VMCB in %rax */
72 push %rsi /* push guest context pointer on the stack */
75 * Restore guest state.
77 movq SCTX_R8(%rsi), %r8
78 movq SCTX_R9(%rsi), %r9
79 movq SCTX_R10(%rsi), %r10
80 movq SCTX_R11(%rsi), %r11
81 movq SCTX_R12(%rsi), %r12
82 movq SCTX_R13(%rsi), %r13
83 movq SCTX_R14(%rsi), %r14
84 movq SCTX_R15(%rsi), %r15
85 movq SCTX_RBP(%rsi), %rbp
86 movq SCTX_RBX(%rsi), %rbx
87 movq SCTX_RCX(%rsi), %rcx
88 movq SCTX_RDX(%rsi), %rdx
89 movq SCTX_RDI(%rsi), %rdi
90 movq SCTX_RSI(%rsi), %rsi /* %rsi must be restored last */
96 pop %rax /* pop guest context pointer from the stack */
101 movq %r8, SCTX_R8(%rax)
102 movq %r9, SCTX_R9(%rax)
103 movq %r10, SCTX_R10(%rax)
104 movq %r11, SCTX_R11(%rax)
105 movq %r12, SCTX_R12(%rax)
106 movq %r13, SCTX_R13(%rax)
107 movq %r14, SCTX_R14(%rax)
108 movq %r15, SCTX_R15(%rax)
109 movq %rbp, SCTX_RBP(%rax)
110 movq %rbx, SCTX_RBX(%rax)
111 movq %rcx, SCTX_RCX(%rax)
112 movq %rdx, SCTX_RDX(%rax)
113 movq %rdi, SCTX_RDI(%rax)
114 movq %rsi, SCTX_RSI(%rax)
116 /* Restore host state */
123 /* Restore %GS.base to point to the host's pcpu data */
127 mov $MSR_GSBASE, %ecx