Searched refs:guest_r9 (Results 1 – 3 of 3) sorted by relevance
33 guest_r9 VMXCTX_GUEST_R9
54 uint64_t guest_r9; member
1589 return (vmxctx->guest_r9); in vmx_get_guest_reg()1643 vmxctx->guest_r9 = regval; in vmx_set_guest_reg()3062 return (&vmxctx->guest_r9); in vmxctx_regptr()