Symbol: xen_end_migrate
usr/src/uts/i86xpv/os/xen_machdep.c
574
xen_end_migrate();
usr/src/uts/i86xpv/sys/xen_mmu.h
99
extern void xen_end_migrate(void);