Function cache_writeback_to 

pub unsafe fn cache_writeback_to(dst: CacheDest, addr: usize, len: usize)

Writes back dirty cache lines in [addr, addr + len) to dst.

Lower-level variant of cache_writeback with an explicit destination. Issues flush_va then TensorWait(6). Pass CacheDest::L2 to make data visible to other Minions in the same shire without propagating to DDR.

Safety

Same constraints as cache_writeback.