Function cpu_flush_dcache

freebsd/arm/arm/machdep.c:220–225

* Flush the D-cache for non-DMA I/O so that the I-cache can * be made coherent later. */

 * be made coherent later.
 */
void
cpu_flush_dcache(void *ptr, size_t len)
{

	dcache_wb_poc((vm_offset_t)ptr, (vm_paddr_t)vtophys(ptr), len);
}

/* Get current clock frequency for the given cpu id. */
int