Searched refs:vmxctx (Results 1 – 3 of 3) sorted by relevance
1488 struct vmxctx *vmxctx; in vmx_emulate_xsetbv() local1514 xcrval = vmxctx->guest_rdx << 32 | (vmxctx->guest_rax & 0xffffffff); in vmx_emulate_xsetbv()1565 const struct vmxctx *vmxctx; in vmx_get_guest_reg() local1610 struct vmxctx *vmxctx; in vmx_set_guest_reg() local2138 struct vmxctx *vmxctx = &vmx->ctx[vcpuid]; in vmx_handle_msr() local2145 val = vmxctx->guest_rdx << 32 | (uint32_t)vmxctx->guest_rax; in vmx_handle_msr()2192 struct vmxctx *vmxctx; in vmx_exit_process() local2685 vmx_dr_enter_guest(struct vmxctx *vmxctx) in vmx_dr_enter_guest() argument2727 vmx_dr_leave_guest(struct vmxctx *vmxctx) in vmx_dr_leave_guest() argument2757 struct vmxctx *vmxctx; in vmx_run() local[all …]
48 struct vmxctx { struct138 struct vmxctx ctx[VM_MAXCPU];191 int vmx_enter_guest(struct vmxctx *ctx, struct vmx *vmx, int launched);
27 vmxctx