Symbol: pmap_xen_resume
sys/arch/xen/include/xenpmap.h
59
void pmap_xen_resume(void);
sys/arch/xen/xen/xen_machdep.c
348
pmap_xen_resume();