Symbol: xen_arch_resume
drivers/xen/manage.c
145
xen_arch_resume();
include/xen/xen-ops.h
28
void xen_arch_resume(void);