xen_syscall32_target  136 arch/x86/xen/setup.c 	extern void xen_syscall32_target(void);
xen_syscall32_target  147 arch/x86/xen/setup.c 					xen_syscall32_target);