Symbol: pmap_set_pcb_pagedir
sys/arch/arm/arm/arm32_machdep.c
289
pmap_set_pcb_pagedir(pmap_kernel(), curpcb);
sys/arch/arm/arm/pmap7.c
1808
pmap_set_pcb_pagedir(pm, pcb);
sys/arch/arm/include/pmap.h
245
void pmap_set_pcb_pagedir(pmap_t, struct pcb *);