Searched refs:guest_r8 (Results 1 – 3 of 3) sorted by relevance
32 guest_r8 VMXCTX_GUEST_R8
53 uint64_t guest_r8; member
1587 return (vmxctx->guest_r8); in vmx_get_guest_reg()1640 vmxctx->guest_r8 = regval; in vmx_set_guest_reg()3060 return (&vmxctx->guest_r8); in vmxctx_regptr()