Searched defs:vmxctx (Results 1 – 2 of 2) sorted by relevance
41 struct vmxctx { struct42 register_t guest_rdi; /* Guest state */43 register_t guest_rsi;44 register_t guest_rdx;45 register_t guest_rcx;46 register_t guest_r8;47 register_t guest_r9;48 register_t guest_rax;49 register_t guest_rbx;50 register_t guest_rbp;[all …]
1240 vmx_handle_cpuid(struct vmx_vcpu * vcpu,struct vmxctx * vmxctx) vmx_handle_cpuid() argument 1689 struct vmxctx *vmxctx; vmx_emulate_xsetbv() local 1765 const struct vmxctx *vmxctx; vmx_get_guest_reg() local 1810 struct vmxctx *vmxctx; vmx_set_guest_reg() local 2346 struct vmxctx *vmxctx; emulate_rdmsr() local 2374 struct vmxctx *vmxctx; vmx_exit_process() local 2878 vmx_exit_inst_error(struct vmxctx * vmxctx,int rc,struct vm_exit * vmexit) vmx_exit_inst_error() argument 2933 vmx_dr_enter_guest(struct vmxctx * vmxctx) vmx_dr_enter_guest() argument 2975 vmx_dr_leave_guest(struct vmxctx * vmxctx) vmx_dr_leave_guest() argument 3030 struct vmxctx *vmxctx; vmx_run() local 3258 vmxctx_regptr(struct vmxctx * vmxctx,int reg) vmxctx_regptr() argument 3311 vmxctx_getreg(struct vmxctx * vmxctx,int reg,uint64_t * retval) vmxctx_getreg() argument 3323 vmxctx_setreg(struct vmxctx * vmxctx,int reg,uint64_t val) vmxctx_setreg() argument 4135 struct vmxctx *vmxctx; vmx_vcpu_snapshot() local [all...]