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()2141 if (map_debug) in build_page_tables()2157 if (map_debug) in build_page_tables()2181 if (map_debug) in build_page_tables()2378 map_debug = (find_boot_prop("map_debug") != NULL); in startup_kernel()2714 if (map_debug) in startup_kernel()