xen_syscall32_target  981 arch/x86/xen/setup.c 					xen_syscall32_target);
xen_syscall32_target   17 arch/x86/xen/xen-ops.h void xen_syscall32_target(void);