On 16/11/17 22:41 Marc Zyngier [mailto:marc.zyngier at 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.