Searched refs:guest_r10 (Results 1 – 3 of 3) sorted by relevance
37 guest_r10 VMXCTX_GUEST_R10
58 uint64_t guest_r10; member
1591 return (vmxctx->guest_r10); in vmx_get_guest_reg()1646 vmxctx->guest_r10 = regval; in vmx_set_guest_reg()3064 return (&vmxctx->guest_r10); in vmxctx_regptr()