Function vkGetSemaphoreCounterValueKHR 

pub unsafe extern "system" fn vkGetSemaphoreCounterValueKHR(
    device: VkDevice,
    semaphore: VkSemaphore,
    pValue: *mut u64,
) -> VkResult

Available if built with prototypes.