cpu_flush_dcache
void cpu_flush_dcache(const void *, size_t);
cpu_flush_dcache((void *)clean_addr, clean_size);
cpu_flush_dcache((void *)clean_addr, clean_size);
cpu_flush_dcache(p, len);
cpu_flush_dcache(p, len);
cpu_flush_dcache(bp->bio_data, bp->bio_length);
cpu_flush_dcache(p, sz);
cpu_flush_dcache(p, seg_len);
cpu_flush_dcache(dst, sc->sectorsize);
cpu_flush_dcache(bp->bio_data, bp->bio_length);
cpu_flush_dcache((void *)segment_va, ptoa(page_count));
cpu_flush_dcache((void *)sva, eva - sva);
cpu_flush_dcache(__DEVOLATILE(struct cpu_release *,rel), sizeof(*rel));
cpu_flush_dcache(__DEVOLATILE(struct cpu_release *,rel), sizeof(*rel));
cpu_flush_dcache(__DEVOLATILE(struct cpu_release *,rel), sizeof(*rel));
cpu_flush_dcache(&bp_kernload, sizeof(bp_kernload));
cpu_flush_dcache(&bp_virtaddr, sizeof(bp_virtaddr));
cpu_flush_dcache(__boot_page, 4096);
void cpu_flush_dcache(void *, size_t);