1 // SPDX-License-Identifier: GPL-2.0
3 * SDK7786 FPGA NMI Support.
5 * Copyright (C) 2010 Paul Mundt
7 #include <linux/init.h>
8 #include <linux/kernel.h>
9 #include <linux/string.h>
10 #include <mach/fpga.h>
21 * Default to the manual NMI switch.
23 static unsigned int __initdata nmi_mode
= NMI_MODE_ANY
;
25 static int __init
nmi_mode_setup(char *str
)
30 if (strcmp(str
, "manual") == 0)
31 nmi_mode
= NMI_MODE_MANUAL
;
32 else if (strcmp(str
, "aux") == 0)
33 nmi_mode
= NMI_MODE_AUX
;
34 else if (strcmp(str
, "masked") == 0)
35 nmi_mode
= NMI_MODE_MASKED
;
36 else if (strcmp(str
, "any") == 0)
37 nmi_mode
= NMI_MODE_ANY
;
39 nmi_mode
= NMI_MODE_UNKNOWN
;
40 pr_warn("Unknown NMI mode %s\n", str
);
43 printk("Set NMI mode to %d\n", nmi_mode
);
46 early_param("nmi_mode", nmi_mode_setup
);
48 void __init
sdk7786_nmi_init(void)
50 unsigned int source
, mask
, tmp
;
54 source
= NMISR_MAN_NMI
;
55 mask
= NMIMR_MAN_NMIM
;
58 source
= NMISR_AUX_NMI
;
59 mask
= NMIMR_AUX_NMIM
;
62 source
= NMISR_MAN_NMI
| NMISR_AUX_NMI
;
63 mask
= NMIMR_MAN_NMIM
| NMIMR_AUX_NMIM
;
66 case NMI_MODE_UNKNOWN
:
72 /* Set the NMI source */
73 tmp
= fpga_read_reg(NMISR
);
76 fpga_write_reg(tmp
, NMISR
);
78 /* And the IRQ masking */
79 fpga_write_reg(NMIMR_MASK
^ mask
, NMIMR
);