xen_uninit_lock_cpu  358 arch/x86/xen/smp.c 	xen_uninit_lock_cpu(cpu);
xen_uninit_lock_cpu   59 arch/x86/xen/xen-ops.h void xen_uninit_lock_cpu(int cpu);