GUEST_CR3         307 arch/x86/include/asm/vmx.h 	GUEST_CR3                       = 0x00006802,
GUEST_CR3         301 tools/testing/selftests/kvm/include/x86_64/vmx.h 	GUEST_CR3			= 0x00006802,