-
Aditya Degwekar authored
For calculating the non-LPAE ARMv7 TTBR0 offset, use swapper_pg_dir_addr obtained from an address lookup instead of hardcoded value. Change-Id: I96a82ee62ca5cbe86b696657af8822e513d5393c
bee8897b
mmu.py 21.76 KiB
For calculating the non-LPAE ARMv7 TTBR0 offset, use swapper_pg_dir_addr obtained from an address lookup instead of hardcoded value. Change-Id: I96a82ee62ca5cbe86b696657af8822e513d5393c