我正在研究虚拟化层，尤其是虚拟化UEFI引导服务，以便即使在调用ExitBootService（）并将控制权传递给GPOS内核（Windows / Linux）之后也可以使用这些服务。我无法在EDK 2 source中找到引导服务的实际代码。引导服务被实现为功能指针。我找不到这些函数指针指向实际函数的位置，例如AllocatePage（）引导服务。在EDK 2源代码中，AllocatePage（）启动服务的声明在哪里。否则，将在EDK 2源中填充系统表和引导服务结构。我也很想知道XEN如何处理这个特殊问题。任何OVMF源也应受到赞赏。非常感谢