Searched refs:map_debug (Results 1 – 1 of 1) sorted by relevance
231 uint_t map_debug = 0; variable446 if (map_debug) in make_ptable()560 if (map_debug && ma != va) in map_ma_at_va()2135 if (map_debug) in build_page_tables()2151 if (map_debug) in build_page_tables()2175 if (map_debug) in build_page_tables()2372 map_debug = (find_boot_prop("map_debug") != NULL); in startup_kernel()2708 if (map_debug) in startup_kernel()