Symbol: svs_pdir_switch
sys/arch/amd64/include/pmap_private.h
187
void svs_pdir_switch(struct pmap *);
sys/arch/x86/x86/cpu.c
1550
svs_pdir_switch(pmap);