Symbol: xen_set_user_pgd
sys/arch/xen/include/xenpmap.h
174
void xen_set_user_pgd(paddr_t);
sys/arch/xen/x86/cpu.c
1141
xen_set_user_pgd(pmap_pdirpa(pmap, 0));