dcache_flush_page_us
void (*dcache_flush_page)(paddr_t) = dcache_flush_page_us;
void (*sp_dcache_flush_page)(paddr_t) = dcache_flush_page_us;
void dcache_flush_page_us(paddr_t); /* flush page from D$ */