isa_bs_alloc
isa_bs_alloc(
isa_bs_alloc(void *t, bus_addr_t rstart, bus_addr_t rend, bus_size_t size,