Man pages matching name sdl_mostsignificantbitindex32 in section 3:

SDL_MostSignificantBitIndex32.3.en

debian 13 / libsdl3-doc