Searched refs:map_debug (Results 1 – 1 of 1) sorted by relevance
168 uint_t map_debug = 0; variable378 if (map_debug) in make_ptable()492 if (map_debug && ma != va) in map_ma_at_va()1083 if (map_debug) in build_page_tables()1099 if (map_debug) in build_page_tables()1146 map_debug = (strstr(cmdline, "map_debug") != NULL); in startup_kernel()1447 if (map_debug) in startup_kernel()