On 16/11/17  22:41 Marc Zyngier [mailto:marc.zyngier@arm.com] wrote:
>- If the CPU supports LPAE, then both 32 and 64bit accessors work


I don't how 32bit accessor can work on CPU supporting LPAE, give me your solution.

Thanks.


N‹§²æìr¸›zǧu©ž²Æ {­†éì¹»®&Þ–)îÆi¢žØ^n‡r¶‰šŽŠÝ¢j$½§$¢¸¢¹¨­è§~Š'.)îÄÃ,yèm¶ŸÿÃ%Š{±šj+ƒðèž×¦j)Z†·Ÿ