Searched refs:guest_dr0 (Results 1 – 2 of 2) sorted by relevance
65 uint64_t guest_dr0; member
2719 load_dr0(vmxctx->guest_dr0); in vmx_dr_enter_guest()2731 vmxctx->guest_dr0 = rdr0(); in vmx_dr_leave_guest()3078 return (&vmxctx->guest_dr0); in vmxctx_regptr()