pmap_pinit
pmap_pinit(&xio->p);
int pmap_pinit(pmap_t);
pmap_pinit);
newvmspace = vmspace_alloc(minuser, maxuser, pmap_pinit);