Home
last modified time | relevance | path

Searched refs:map_debug (Results 1 – 1 of 1) sorted by relevance

/titanic_50/usr/src/uts/i86pc/dboot/
H A Ddboot_startkern.c215 uint_t map_debug = 0; variable
427 if (map_debug) in make_ptable()
541 if (map_debug && ma != va) in map_ma_at_va()
1732 if (map_debug) in build_page_tables()
1748 if (map_debug) in build_page_tables()
1923 map_debug = (strstr(cmdline, "map_debug") != NULL); in startup_kernel()
2252 if (map_debug) in startup_kernel()