Man pages matching name sdl_vulkan_getvkgetinstanceprocaddr in section 3:

SDL_Vulkan_GetVkGetInstanceProcAddr.3.en

debian 13 / libsdl3-doc