cache_flush_phys_us
void (*cache_flush_phys)(paddr_t, psize_t, int) = cache_flush_phys_us;
void cache_flush_phys_us(paddr_t, psize_t, int);