Searched refs:map_debug (Results 1 – 1 of 1) sorted by relevance
179 uint_t map_debug = 0; variable391 if (map_debug) in make_ptable()505 if (map_debug && ma != va) in map_ma_at_va()1364 if (map_debug) in build_page_tables()1380 if (map_debug) in build_page_tables()1427 map_debug = (strstr(cmdline, "map_debug") != NULL); in startup_kernel()1728 if (map_debug) in startup_kernel()