Kernel page tables actually start at index 4096, given kernel base address of 0xc008000000000000, not index 0, which would yield 0xc000000000000000. Fix this by indexing at the real base, instead of the assumed base. |
||
---|---|---|
.. | ||
booke_machdep.c | ||
locore.S | ||
machdep_e500.c | ||
mp_cpudep.c | ||
platform_bare.c | ||
pmap_32.c | ||
pmap_64.c | ||
pmap.c | ||
spe.c | ||
trap_subr.S |