Symbol: EFI_SYSTEM_TABLE
sys/dev/efi/efi.h
186
} EFI_SYSTEM_TABLE;
sys/stand/efi/include/efiapi.h
917
} EFI_SYSTEM_TABLE;