Man pages matching name sdl_writeu64le in section 3:

SDL_WriteU64LE.3.en

debian 13 / libsdl3-doc