linux-zen-server/tools/include/linux/nmi.h