I'd leave the name as `sync::Semaphore` and link to `sync::raw::Semaphore`.