m8820x_cmmu_wbinv_locked
flusher = m8820x_cmmu_wbinv_locked;
m8820x_cmmu_wbinv_locked(cmmu, pa1, MC88200_CACHE_LINE);
m8820x_cmmu_wbinv_locked(cmmu, pa2, MC88200_CACHE_LINE);
void m8820x_cmmu_wbinv_locked(struct m8820x_cmmu *, paddr_t, psize_t);