Searched refs:pmap_debug_level (Results 1 – 5 of 5) sorted by relevance
125 if (pmap_debug_level > 0) in cpu_lwp_fork()154 if (pmap_debug_level > 0) { in cpu_lwp_fork()226 if (pmap_debug_level > 0) in vmapbuf()268 if (pmap_debug_level > 0) in vunmapbuf()
550 pmap_debug_level = integer; in parse_mi_bootargs()551 pmap_debug(pmap_debug_level); in parse_mi_bootargs()
226 int pmap_debug_level = 0; variable789 pmap_debug_level = level; in pmap_debug()790 printf("pmap_debug: level=%d\n", pmap_debug_level); in pmap_debug()
84 if (pmap_debug_level > 0) in cpu_lwp_fork()
330 extern int pmap_debug_level; /* Only exists if PMAP_DEBUG */