[head tinderbox] failure on powerpc64/powerpc

[Dag-Erling Smørgrav]

FreeBSD Tinderbox <tinderbox at freebsd.org> writes:
>>>> Kernel build for LINT started on Thu Aug 19 02:51:08 UTC 2010
>>>> stage 1: configuring the kernel
>>>> stage 2.1: cleaning up the object tree
>>>> stage 2.2: rebuilding the object tree
>>>> stage 2.3: build tools
>>>> stage 3.1: making dependencies
>>>> stage 3.2: building everything
> [...]
> /src/sys/dev/ofw/ofw_standard.c:705: warning: cast to pointer from integer of different size
> /src/sys/dev/ofw/ofw_standard.c: In function 'ofw_std_release':
> /src/sys/dev/ofw/ofw_standard.c:719: warning: cast from pointer to integer of different size
> /src/sys/dev/ofw/ofw_standard.c:724: warning: cast from pointer to integer of different size
> /src/sys/dev/ofw/ofw_standard.c: In function 'ofw_std_enter':
> /src/sys/dev/ofw/ofw_standard.c:742: warning: cast from pointer to integer of different size
> /src/sys/dev/ofw/ofw_standard.c: In function 'ofw_std_exit':
> /src/sys/dev/ofw/ofw_standard.c:760: warning: cast from pointer to integer of different size
> *** Error code 1
>
> Stop in /obj/powerpc.powerpc64/src/sys/LINT.

Line 705 in ofw_standard.c is

	return ((void *)args.baseaddr);

args.baseaddr is a cell_t, which is defined in <machine/ofw_machdep.h>:

typedef	uint32_t	cell_t;

which I assume is correct for powerpc (32-bits), but probably not for
powerpc64.  Note that it is defined as uint64_t on sparc64 and sun4v,
and in sys/boot as unsigned long int, which is the correct size on both
32-bit and 64-bit machines (assuming I32LP64).

DES
-- 
Dag-Erling Smørgrav - des at des.no