GUEST_DR7
EVMCS1_FIELD(GUEST_DR7, guest_dr7,
WARN_ON(kvm_set_dr(vcpu, 7, vmcs_readl(GUEST_DR7)));
FIELD(GUEST_DR7, guest_dr7),
kvm_run->debug.arch.dr7 = vmcs_readl(GUEST_DR7);
dr7 = vmcs_readl(GUEST_DR7);
vcpu->arch.dr7 = vmcs_readl(GUEST_DR7);
vmcs_writel(GUEST_DR7, val);
vmcs_readl(GUEST_RFLAGS), vmcs_readl(GUEST_DR7));
case GUEST_DR7:
case GUEST_DR7:
vmwrite(GUEST_DR7, 0x400);