Symbol: PDB_DESTROY
sys/arch/sparc/sparc/pmap.c
4393
DPRINTF(PDB_DESTROY, "pmap_pmap_pool_dtor(%p)", pm);
sys/arch/sparc/sparc/pmap.c
4467
DPRINTF(PDB_DESTROY, "pmap_destroy[%d](%p)", cpu_number(), pm);
sys/arch/sparc64/sparc64/pmap.c
1517
DPRINTF(PDB_DESTROY, ("pmap_destroy: freeing pmap %p\n", pm));