I don't think this is about core kernel semaphores but rather the SysV semaphore system calls?