Man pages matching name sdl_mutexp in section 3:

SDL_mutexP.3.en	debian 10 / libsdl1.2-dev
SDL_mutexP.3.en	debian 11 / libsdl1.2-dev
SDL_mutexP.3.en	debian 12 / libsdl1.2-dev