cache_nullop
void (*cpu_dcache_wbinv_range)(vaddr_t, vsize_t) = cache_nullop;
void (*cpu_dcache_inv_range)(vaddr_t, vsize_t) = cache_nullop;
void (*cpu_dcache_wb_range)(vaddr_t, vsize_t) = cache_nullop;