Function cache_invalidate_to 

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

Invalidates cache lines in [addr, addr + len), evicting to dst.

Lower-level variant of cache_invalidate with an explicit destination. Issues evict_va then TensorWait(6).

Safety

Same constraints as cache_invalidate.