PIN_BASED_POSTED_INTR   78 arch/x86/include/asm/vmx.h #define PIN_BASED_POSTED_INTR                   0x00000080
PIN_BASED_POSTED_INTR   73 tools/testing/selftests/kvm/include/x86_64/vmx.h #define PIN_BASED_POSTED_INTR			0x00000080