On 16/11/17 22:41 Marc Zyngier [mailto:marc.zyngier@xxxxxxx] 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������g����a����&ޖ)���)��h���&������梷�����Ǟ�m������)������^�����������v���O��zf������