xen_iret 1223 arch/x86/xen/enlighten.c .iret = xen_iret, xen_iret 80 arch/x86/xen/xen-ops.h void xen_iret(void);