vkDestroyEvent

To destroy an event, call:

void vkDestroyEvent(
    VkDevice device,
    VkEvent event,
    const VkAllocationCallbacks* pAllocator);

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

All submitted commands that refer to event must have completed execution

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

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

device must be a valid VkDevice handle

If event is not VK_NULL_HANDLE, event must be a valid VkEvent handle

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

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