Searched refs:guest_dr6 (Results 1 – 2 of 2) sorted by relevance
62 register_t guest_dr6; member
1199 vcpu->ctx.guest_dr6 = DBREG_DR6_RESERVED1; in vmx_vcpu_init()2982 load_dr6(vmxctx->guest_dr6); in vmx_dr_enter_guest()2994 vmxctx->guest_dr6 = rdr6(); in vmx_dr_leave_guest()3314 return (&vmxctx->guest_dr6); in vmxctx_regptr()4246 SNAPSHOT_VAR_OR_LEAVE(vmxctx->guest_dr6, meta, err, done); in vmx_vcpu_snapshot()