Man pages matching name sdl_pushevent in section 3:

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