cache_nop
dcache_flush_page = (void (*)(paddr_t)) cache_nop;
sp_dcache_flush_page = (void (*)(paddr_t)) cache_nop;
blast_dcache = cache_nop;
blast_icache = cache_nop;