Why KERNEL_BASE is 0x80000000?

[KIYOHARA Takashi <kiyohara%kk.iij4u.or.jp@localhost>]

Hi! matt,


My gumstix (evbarm) occur data abort at boot time at
pmap_link_l2pt():pmap.c,  because variable pde points 0x80XXXXXX.
However our VA is 0xc0000000.
When I investigated, our KERNEL_BASE was defined in 0x80000000 in
vmparam.h.

http://cvsweb.netbsd.org/bsdweb.cgi/src/sys/arch/evbarm/include/vmparam.h.diff?r1=1.24&r2=1.25&f=h


In my guess, I think that it should define KERNEL_BASE with 0xc0000000.
And, KERNEL_BASE_EXT is defined as for your tisdp24xx and imx31.

Thanks,
--
kiyohara