PIN_BASED_VMX_PREEMPTION_TIMER   77 arch/x86/include/asm/vmx.h #define PIN_BASED_VMX_PREEMPTION_TIMER          0x00000040
PIN_BASED_VMX_PREEMPTION_TIMER   72 tools/testing/selftests/kvm/include/x86_64/vmx.h #define PIN_BASED_VMX_PREEMPTION_TIMER		0x00000040