Searched refs:opt_nmi (Results 1 – 1 of 1) sorted by relevance
92 static char __read_mostly opt_nmi[10] = "dom0"; variable94 static char __read_mostly opt_nmi[10] = "fatal"; variable96 string_param("nmi", opt_nmi);1683 switch ( opt_nmi[0] ) in pci_serr_error()1702 switch ( opt_nmi[0] ) in io_check_error()1722 switch ( opt_nmi[0] ) in unknown_nmi_error()
Completed in 6 milliseconds