Searched refs:guest_dr2 (Results 1 – 2 of 2) sorted by relevance
67 uint64_t guest_dr2; member
2721 load_dr2(vmxctx->guest_dr2); in vmx_dr_enter_guest()2733 vmxctx->guest_dr2 = rdr2(); in vmx_dr_leave_guest()3082 return (&vmxctx->guest_dr2); in vmxctx_regptr()