bootloader for NetBSD/arc and MI arcbios.h changes

Today I've managed to get working kernel bootloader for NetBSD/arc,
which is based on sgimips bootloader:
http://www.ceres.dti.ne.jp/~tsutsui/netbsd/boot-arc-20050416.tar.gz
http://www.ceres.dti.ne.jp/~tsutsui/netbsd/boot-arc-20050416.gz

Before committing this, I'd like to change some function prototypes
in MI sys/dev/arcbios/arcbios.h.

Currently MI arcbios.h uses paddr_t for values which are 64bit
on some MIPS64 based sgimips machine (Octane etc.), but on arc port
paddr_t is always 64bit even on 32bit ARCBIOS machines.

Is it OK to change simply these paddr_t to long, or should we have
some appropriate typedef (or macro) for them?
---
Izumi Tsutsui