Hi Arun,

>        i = virt_to_phys(0xc0000000);
>        i >>= PAGE_SHIFT;

I just thought I'd point out that not all kernels start at 0xc000000.
I've worked with MIPS kernels that start at 0x80000000

0xc0000000 is pretty common, but not gospel. Perhaps you should use
CONFIG_PAGE_OFFSET instead.

It also appears that CONFIG_PAGE_OFFSET can move around even on ARM
and x86, if other options like CONFIG_VMSPLIT_2G is defined (linux
2.6.34).

-- 
Dave Hylands
Shuswap, BC, Canada
http://www.DaveHylands.com/

--
To unsubscribe from this list: send an email with
"unsubscribe kernelnewbies" to [email protected]
Please read the FAQ at http://kernelnewbies.org/FAQ

Reply via email to