Symbol: POSTED_INTR_DESC_ADDR_HIGH
arch/x86/include/asm/vmx.h
234
POSTED_INTR_DESC_ADDR_HIGH = 0x00002017,
tools/testing/selftests/kvm/include/x86/vmx.h
145
POSTED_INTR_DESC_ADDR_HIGH = 0x00002017,