forked from Minki/linux
a24637d5dd
There is no swapper_pgd_dir, it meant swapper_pg_dir. Signed-off-by: Alex Bennée <alex.bennee@linaro.org> Signed-off-by: Catalin Marinas <catalin.marinas@arm.com> |
||
---|---|---|
.. | ||
booting.txt | ||
memory.txt | ||
tagged-pointers.txt |