Go to the documentation of this file.
11 #include <linux/kernel.h>
12 #include <linux/string.h>
28 static int __init nmi_mode_setup(
char *
str)
33 if (
strcmp(str,
"manual") == 0)
35 else if (
strcmp(str,
"aux") == 0)
37 else if (
strcmp(str,
"masked") == 0)
39 else if (
strcmp(str,
"any") == 0)
46 printk(
"Set NMI mode to %d\n", nmi_mode);
76 tmp = fpga_read_reg(
NMISR);
79 fpga_write_reg(tmp,
NMISR);