cache_flush_virt
void cache_flush_virt(vaddr_t, vsize_t);
cache_flush_virt(flushva, endva - flushva);