Searched refs:guest_r12 (Results 1 – 3 of 3) sorted by relevance
39 guest_r12 VMXCTX_GUEST_R12
60 uint64_t guest_r12; member
1595 return (vmxctx->guest_r12); in vmx_get_guest_reg()1652 vmxctx->guest_r12 = regval; in vmx_set_guest_reg()3068 return (&vmxctx->guest_r12); in vmxctx_regptr()