Add kernel semaphore API