pmap_set_pcb_pagedir
pmap_set_pcb_pagedir(kernel_pmap, pcb);
pmap_set_pcb_pagedir(vmspace_pmap(p2->p_vmspace), pcb2);
void pmap_set_pcb_pagedir(pmap_t, struct pcb *);