pub unsafe extern "C" fn semaphore_destroy(
    task: task_t,
    semaphore: *mut semaphore_t
) -> kern_return_t