atari_bus_space_arena_init
atari_bus_space_arena_init(0x0, 0xffffffff);
void atari_bus_space_arena_init(paddr_t, paddr_t);