xen_arch_suspend 132 drivers/xen/manage.c xen_arch_suspend(); xen_arch_suspend 27 include/xen/xen-ops.h void xen_arch_suspend(void);