dino_memalloc
int dino_memalloc(void *, bus_addr_t, bus_addr_t, bus_size_t, bus_size_t,
sc->sc_memt.hbt_alloc = dino_memalloc;
if (dino_memalloc(sc, 0xf0800000, 0xff7fffff,