Man pages matching name sdl_getvideoinfo in section 3:

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