void ctl_ms_invalidate_sector_cache_single(CTL_MS_VOLUME_t *vol, CTL_MS_LBA_t first);
ctl_ms_invalidate_sector_cache_single invalidates a single sector first on volume vol. If the sectors is marked dirty, it is not written to the media.
ctl_ms_invalidate_sector_cache_range.