xen_sysret64 1037 arch/x86/xen/enlighten_pv.c .usergs_sysret64 = xen_sysret64, xen_sysret64 143 arch/x86/xen/xen-ops.h __visible void xen_sysret64(void);