Function vkGetSwapchainImagesKHR 

pub unsafe extern "system" fn vkGetSwapchainImagesKHR(
    device: VkDevice,
    swapchain: VkSwapchainKHR,
    pSwapchainImageCount: *mut u32,
    pSwapchainImages: *mut VkImage,
) -> VkResult

Available if built with prototypes.