xen_init_lock_cpu  186 arch/x86/xen/smp.c 	xen_init_lock_cpu(0);
xen_init_lock_cpu  302 arch/x86/xen/smp.c 	xen_init_lock_cpu(cpu);
xen_init_lock_cpu   58 arch/x86/xen/xen-ops.h __cpuinit void xen_init_lock_cpu(int cpu);