> I'd like to change paddr_t from 32bit to 64bit on arc port before
> NetBSD-1.5 branch cut by introducing symbol "_MIPS_PADDR_T_64BIT" in
> <machine/types.h>.

I forgot to mention below:

- arc port's device address space is located beyond 32bit address,
  so unless this change, device address space cannot be mapped on
  virtual address.

- fortunetely, this change doesn't seem to affect userland binary
  compatiblity, even if the binary is related to kvm.
 (current kvm utilities doesn't refer structures which include
  paddr_t)
--
soda