Function vkGetSemaphoreCounterValue 

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

Available if built with exported-prototypes.