GUEST_DR7        1003 arch/x86/kvm/vmx.c 	vmcs_writel(GUEST_DR7, dr7);
GUEST_DR7        2081 arch/x86/kvm/vmx.c 	vmcs_writel(GUEST_DR7, 0x400);