关于ARM TrustZone中Physical Address Space (PAS)的理解是否正确？

根据ARM TrustZone for AArch64架构文档：

除两种安全状态外，该架构还提供两个物理地址空间：Secure（安全）和Non-secure（非安全）。
处于Non-secure状态时，虚拟地址始终转换为Non-secure物理地址。这意味着Non-secure状态下的软件只能访问Non-secure资源，永远无法访问Secure资源。
处于Secure状态时，软件可同时访问Secure和Non-secure物理地址空间。转换表项中的NS位控制虚拟内存的块或页转换到哪个物理地址空间，如下图所示：

因此Secure和Non-secure PAS不会重叠，共同构成完整的物理地址空间。

举个简单例子：

• 假设整个物理地址空间为[0x00000 ~ 0xFFFFF]。
• Secure PAS可能是[0x00000 ~ 0x0FFFF]，那么Non-Secure PAS则必须是剩余的[0x10000 ~ 0xFFFFF]。

本质上这是对整个PAS的划分。由于所有计算资源都映射到物理地址空间，资源划分也自然实现。

请问我的上述理解是否正确？

感谢。

内容的提问来源于stack exchange，提问作者smwikipedia