Searched refs:dboot_debug (Results 1 – 1 of 1) sorted by relevance
50 int dboot_debug = 0; variable2232 if (dboot_debug == 1) in startup_kernel()