Function flush 

pub unsafe fn flush(
    allocator: &Allocator<'_>,
    allocation: &Allocation,
    offset: u64,
    size: u64,
) -> Result<(), AllocError>

Flush a bounded allocation-relative mapped range, observing atom/end rules.

Safety

Follow Vulkan’s host/device synchronization and mapping requirements.