SDL_mutexP(3) on Linux

The text 01aa8033b960, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.

SDL_mutexP(3) on Linux now