linuxdebug/tools/include/linux/nmi.h