+14
−7
Loading
Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more
The TTBR0 register can be 64 bit when phys_addr_t is 32 bit. Only
32 bits of TTBR0 register were programmed when phys_addr_t was set
to 32 bit. Use CONFIG_IOMMU_LPAE option to decide if TTBR0 is
32 bit or 64 bit.
Change-Id: I48970f6321c4ee2d5fdb955ca71159fddc83b32c
Signed-off-by:
Shubhraprakash Das <sadas@codeaurora.org>