Searched refs:guest_r14 (Results 1 – 3 of 3) sorted by relevance
41 guest_r14 VMXCTX_GUEST_R14
62 uint64_t guest_r14; member
1599 return (vmxctx->guest_r14); in vmx_get_guest_reg()1658 vmxctx->guest_r14 = regval; in vmx_set_guest_reg()3072 return (&vmxctx->guest_r14); in vmxctx_regptr()