Symbol: xen_copy_page
sys/arch/x86/x86/pmap.c
4048
xen_copy_page(srcpa, dstpa);
sys/arch/xen/include/xenpmap.h
56
void xen_copy_page(paddr_t, paddr_t);