Symbol: efi_runtime_services
headers/private/kernel/platform/efi/system-table.h
44
efi_runtime_services *RuntimeServices;
src/system/boot/platform/efi/efi_platform.h
52
extern const efi_runtime_services *kRuntimeServices;
src/system/boot/platform/efi/start.cpp
46
const efi_runtime_services *kRuntimeServices;