Где находится фактический код для сервисов загрузки UEFI в EDK 2 или где системная таблица заполняется в источнике EDK 2
Я работаю над уровнем виртуализации, в частности виртуализацией загрузочных служб UEFI, чтобы эти службы можно было использовать даже после вызова ExitBootService() и передачи управления ядру GPOS, будь то Windows/Linux. Я не могу найти фактический код для сервисов загрузки в источнике EDK 2. Сервисы загрузки реализованы в виде указателей на функции. Я не могу найти, куда адресованы указатели на эти функции, чтобы они указывали на фактическую функцию, например, загрузочную службу AllocatePage(). где - объявление загрузочной службы AllocatePage() в источнике EDK 2. ИЛИ где в EDK 2 заполняется исходная структура системных таблиц и служб загрузки. Мне также интересно посмотреть, как XEN решает эту конкретную проблему. Любой источник OVMF также приветствуется. большое спасибо