Man pages matching name sdl_destroymutex in section 3:

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