Searched refs:vmxctx (Results 1 – 3 of 3) sorted by relevance
1488 struct vmxctx *vmxctx; in vmx_emulate_xsetbv() local1492 vmxctx = &vmx->ctx[vcpu]; in vmx_emulate_xsetbv()1502 if (vmxctx->guest_rcx != 0) { in vmx_emulate_xsetbv()1514 xcrval = vmxctx->guest_rdx << 32 | (vmxctx->guest_rax & 0xffffffff); in vmx_emulate_xsetbv()1565 const struct vmxctx *vmxctx; in vmx_get_guest_reg() local1567 vmxctx = &vmx->ctx[vcpu]; in vmx_get_guest_reg()1571 return (vmxctx->guest_rax); in vmx_get_guest_reg()1573 return (vmxctx->guest_rcx); in vmx_get_guest_reg()1575 return (vmxctx->guest_rdx); in vmx_get_guest_reg()1577 return (vmxctx->guest_rbx); in vmx_get_guest_reg()[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