flush_dcache

Declaration

void flush_dcache(vm_offset_t, unsigned int, int);