Searched refs:guest_r11 (Results 1 – 3 of 3) sorted by relevance
38 guest_r11 VMXCTX_GUEST_R11
59 uint64_t guest_r11; member
1593 return (vmxctx->guest_r11); in vmx_get_guest_reg()1649 vmxctx->guest_r11 = regval; in vmx_set_guest_reg()3066 return (&vmxctx->guest_r11); in vmxctx_regptr()