Man pages matching name sdl_uint64_c in section 3:

SDL_UINT64_C.3.en

debian 13 / libsdl3-doc