xen_console_resume  140 drivers/xen/manage.c 		xen_console_resume();
xen_console_resume    8 include/xen/hvc-console.h void xen_console_resume(void);
xen_console_resume   13 include/xen/hvc-console.h static inline void xen_console_resume(void) { }