pmap_alloc_usermmu
void pmap_alloc_usermmu(void);
pmap_alloc_usermmu(); /* Allocate user MMU tables. */