/* vivt/vipt ops */
void cache_vi_wb_page(vaddr_t va);
void cache_vi_wbinv_page(vaddr_t va);
void cache_vi_inv_page(vaddr_t va);

/* vivt op */
void cache_vivt_flush(void);

/* for dma */
void cache_dma_wb(vaddr_t va, size_t size);
void cache_dma_inv(vaddr_t va, size_t size);

/* split icache */
void cache_splitid_inv(vaddr_t va, size_t size);