Symbol: EFI_RUNTIME_SERVICES
sys/dev/efi/efi.h
165
} EFI_RUNTIME_SERVICES;
sys/stand/efi/include/efiapi.h
715
} EFI_RUNTIME_SERVICES;