vkDestroySemaphore

To destroy a semaphore, call:

void vkDestroySemaphore(
    VkDevice device,
    VkSemaphore semaphore,
    const VkAllocationCallbacks* pAllocator);

device is the logical device that destroys the semaphore.
semaphore is the handle of the semaphore to destroy.
pAllocator controls host memory allocation as described in the Memory Allocation chapter.

All submitted batches that refer to semaphore must have completed execution

If VkAllocationCallbacks were provided when semaphore was created, a compatible set of callbacks must be provided here

If no VkAllocationCallbacks were provided when semaphore was created, pAllocator must be NULL

device must be a valid VkDevice handle

If semaphore is not VK_NULL_HANDLE, semaphore must be a valid VkSemaphore handle

If pAllocator is not NULL, pAllocator must be a valid pointer to a valid VkAllocationCallbacks structure

If semaphore is a valid handle, it must have been created, allocated, or retrieved from device