Izumi Tsutsui wrote:

> In haltwo.c case, they are abuse of bus_space_handle_t so maybe
> we should use bus_space_vaddr(9) (which is not implemented for hpc),
> but anyway I wonder if 64bit offset is actually needed for ha_devoff
> to map device spaces.

HPC3's address space is at most 1MB, if I recall correctly. HPC1.5's  
is probably significantly less.

Steve