Add semaphore.h to kernel_lock.c