SECONDARY_EXEC_WBINVD_EXITING   55 arch/x86/include/asm/vmx.h #define SECONDARY_EXEC_WBINVD_EXITING		0x00000040
SECONDARY_EXEC_WBINVD_EXITING   54 tools/testing/selftests/kvm/include/x86_64/vmx.h #define SECONDARY_EXEC_WBINVD_EXITING		0x00000040