cache_flush_phys_usiii
cache_flush_phys = cache_flush_phys_usiii;
void cache_flush_phys_usiii(paddr_t, psize_t, int);