CR3_TARGET_VALUE0  300 arch/x86/include/asm/vmx.h 	CR3_TARGET_VALUE0               = 0x00006008,
CR3_TARGET_VALUE0  294 tools/testing/selftests/kvm/include/x86_64/vmx.h 	CR3_TARGET_VALUE0		= 0x00006008,