Searched refs:kern_invalid_debug (Results 1 – 1 of 1) sorted by relevance
93 int kern_invalid_debug = 0; variable386 if (kern_invalid_debug) { in kern_invalid()