Searched refs:guest_r15 (Results 1 – 3 of 3) sorted by relevance
42 guest_r15 VMXCTX_GUEST_R15
63 uint64_t guest_r15; member
1601 return (vmxctx->guest_r15); in vmx_get_guest_reg()1661 vmxctx->guest_r15 = regval; in vmx_set_guest_reg()3074 return (&vmxctx->guest_r15); in vmxctx_regptr()