flush_dcache64

Declaration

void flush_dcache64(addr64_t, unsigned int, int);