> I did have another question about the translation from 48-bit core physical address
> to the 40-bit local address space: is it performed by using only the 40 least
> significant bits of the core physical address?
Please refer to the ARM® Cortex®-A72 MPCore Processor Revision: r0p2 Technical Reference Manual, Chapter 5 Memory Management Unit.
In case of further questions please apply to the ARM Technical Support directly.