__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)