xen_sysexit 1224 arch/x86/xen/enlighten.c .irq_enable_sysexit = xen_sysexit, xen_sysexit 81 arch/x86/xen/xen-ops.h void xen_sysexit(void);