linux-uconsole/tools/include/linux/nmi.h