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