POSTED_INTR_DESC_ADDR_HIGH  192 arch/x86/include/asm/vmx.h 	POSTED_INTR_DESC_ADDR_HIGH      = 0x00002017,
POSTED_INTR_DESC_ADDR_HIGH  194 tools/testing/selftests/kvm/include/x86_64/vmx.h 	POSTED_INTR_DESC_ADDR_HIGH	= 0x00002017,