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);