__release_kernel_lock   10 include/linux/smp_lock.h extern void __lockfunc __release_kernel_lock(void);
__release_kernel_lock   17 include/linux/smp_lock.h 		__release_kernel_lock();	\