xen_enable_sysenter 1000 arch/x86/xen/setup.c 	xen_enable_sysenter();
xen_enable_sysenter   68 arch/x86/xen/smp_pv.c 		xen_enable_sysenter();
xen_enable_sysenter   54 arch/x86/xen/xen-ops.h void xen_enable_sysenter(void);