Re: kernel BUG at kernel/kallsyms.c:222!

[Axel Lin]

2013/11/7 Ming Lei <tom.leiming@xxxxxxxxx>:
> On Thu, Nov 7, 2013 at 10:18 AM, Axel Lin <axel.lin@xxxxxxxxxx> wrote:
>> 2013/11/7 Ming Lei <tom.leiming@xxxxxxxxx>:
>>> Could you share what is the value of CONFIG_PAGE_OFFSET
>>> on your noMMU platform?
>>
>> $ grep  CONFIG_PAGE_OFFSET .config
>> CONFIG_PAGE_OFFSET=0xC0000000
>
> It seems that the PAGE_OFFSET is _not_ the start of kernel memory
> in linear address space on your platform, I think it may not be a correct
> usage, even for uClinux.

hi Ming,
Seems CONFIG_PAGE_OFFSET is not configurabe in "make menuconfig".
And I found CONFIG_PAGE_OFFSET=0xC0000000 for all below configs...
$ make at91_dt_defconfig; grep  CONFIG_PAGE_OFFSET .config
$ make ep93xx_defconfig; grep  CONFIG_PAGE_OFFSET .config
$ make imx_v4_v5_defconfig; grep CONFIG_PAGE_OFFSET .config
$ make mxs_defconfig; grep CONFIG_PAGE_OFFSET .config
$ make omap2plus_defconfig; grep CONFIG_PAGE_OFFSET .config
$ make s3c6400_defconfig; grep CONFIG_PAGE_OFFSET .config
$ make at91x40_defconfig; grep CONFIG_PAGE_OFFSET .config
( at91x40_defconfig is also arm7tdmi )

Regards,
Axel
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/