VIRTUAL_APIC_PAGE_ADDR_HIGH  188 arch/x86/include/asm/vmx.h 	VIRTUAL_APIC_PAGE_ADDR_HIGH     = 0x00002013,
VIRTUAL_APIC_PAGE_ADDR_HIGH  190 tools/testing/selftests/kvm/include/x86_64/vmx.h 	VIRTUAL_APIC_PAGE_ADDR_HIGH	= 0x00002013,