Symbol: pmap_switch
sys/arch/i386/i386/pmap.c
1491
pmap_switch(NULL, p);
sys/arch/i386/include/pmap.h
257
void pmap_switch(struct proc *, struct proc *);