UEFI内存映射中是否有任何（理智）保证？

Question

我目前正在玩UEFI /内核开发，并且正在努力掌握GetMemoryMap()返回的UEFI内存映射。 我想知道是否保证内存映射不包含重叠。
具体来说，我似乎无法找到一个语句，“描述符中指定的物理或虚拟地址范围都不会与其他描述符中指定的其他物理/虚拟范围重叠”。
更一般地说，我无法找到关于内存映射布局的任何保证（排序将是合理的）或说明相反的引用。