Searched defs:opt_nmi (Results 1 – 1 of 1) sorted by relevance
90 static char __read_mostly opt_nmi[10] = "dom0"; variable92 static char __read_mostly opt_nmi[10] = "fatal"; variable
Completed in 5 milliseconds