__lock_kernel      62 lib/kernel_lock.c static inline void __lock_kernel(void)
__lock_kernel      94 lib/kernel_lock.c static inline void __lock_kernel(void)