void __lockfunc _unlock_kernel(const char *func, const char *file, int line) {
BUG_ON(current->lock_depth < 0);
if (likely(--current->lock_depth < 0)) __unlock_kernel();
trace_unlock_kernel(func, file, line);
} (略) EXPORT_SYMBOL(_unlock_kernel);