void ctl_ms_print_sector_cache(CTL_STREAM_t s);
ctl_ms_print_sector_cache prints the management data for the sector cache to the stream s.
Note that the sector cache mutex is locked when the sector cache is being printed and, hence, if you direct output to a file stream there is a possibility of deadlock if the file system requests a new sector buffer from the sector cache.