In article <20041002031114.843412DA1D@cvs.netbsd.org>
sekiya@netbsd.org wrote:

> Module Name:	src
> Committed By:	sekiya
> Date:		Sat Oct  2 03:11:14 UTC 2004
> 
> Modified Files:
> 	src/sys/dev/arcbios: arcbios.c arcbios.h
> 
> Log Message:
> ARCS on 64-bit platforms uses 64-bit pointers.  This now works on my Octane.

Hmm, some 32-bit platform (i.e. arc) uses 64-bit paddr_t,
so this change may break something.
(though arc port doesn't use dev/arcbios yet)

This change also breaks arcemu.c:
../../../../arch/sgimips/sgimips/arcemu.c:70: \
warning: initialization from incompatible pointer type
../../../../arch/sgimips/sgimips/arcemu.c:71: \
warning: initialization from incompatible pointer type
 :
---
Izumi Tsutsui
tsutsui@ceres.dti.ne.jp