Symbol: pmap_alloc_usertmgr
sys/arch/sun3/sun3x/pmap.c
545
void pmap_alloc_usertmgr(void);
sys/arch/sun3/sun3x/pmap.c
776
pmap_alloc_usertmgr(); /* Allocate user MMU table managers.*/