Searched refs:guest_rdi (Results 1 – 3 of 3) sorted by relevance
28 guest_rdi VMXCTX_GUEST_RDI
49 uint64_t guest_rdi; /* Guest state */ member
1585 return (vmxctx->guest_rdi); in vmx_get_guest_reg()1637 vmxctx->guest_rdi = regval; in vmx_set_guest_reg()3056 return (&vmxctx->guest_rdi); in vmxctx_regptr()