/** @file
|
SynQuacer DXE platform driver.
|
|
Copyright (c) 2017, Linaro, Ltd. All rights reserved.<BR>
|
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
**/
|
|
#ifndef __PLATFORM_DXE_H__
|
#define __PLATFORM_DXE_H__
|
|
#include <PiDxe.h>
|
#include <Guid/SynQuacerPlatformFormSet.h>
|
#include <IndustryStandard/Pci.h>
|
#include <Library/ArmGenericTimerCounterLib.h>
|
#include <Library/BaseLib.h>
|
#include <Library/BaseMemoryLib.h>
|
#include <Library/DebugLib.h>
|
#include <Library/DevicePathLib.h>
|
#include <Library/DtPlatformDtbLoaderLib.h>
|
#include <Library/DxeServicesLib.h>
|
#include <Library/HiiLib.h>
|
#include <Library/IoLib.h>
|
#include <Library/MemoryAllocationLib.h>
|
#include <Library/NetLib.h>
|
#include <Library/NonDiscoverableDeviceRegistrationLib.h>
|
#include <Library/OpteeLib.h>
|
#include <Library/PcdLib.h>
|
#include <Library/UefiBootServicesTableLib.h>
|
#include <Library/UefiLib.h>
|
#include <Library/UefiRuntimeServicesTableLib.h>
|
#include <Platform/MemoryMap.h>
|
#include <Platform/Pcie.h>
|
#include <Platform/VarStore.h>
|
#include <Protocol/AcpiTable.h>
|
#include <Protocol/NonDiscoverableDevice.h>
|
#include <Protocol/PciIo.h>
|
#include <Protocol/SdMmcOverride.h>
|
|
#define EMMC_TABLE_ID SIGNATURE_64('S','y','n','Q','e','M','M','C')
|
#define TOS0_TABLE_ID SIGNATURE_64('S','y','n','Q','T','O','S','0')
|
|
extern UINT8 PlatformDxeHiiBin[];
|
extern UINT8 PlatformDxeStrings[];
|
|
extern UINT64 mHiiSettingsVal;
|
extern SYNQUACER_PLATFORM_VARSTORE_DATA *mHiiSettings;
|
|
EFI_STATUS
|
EFIAPI
|
RegisterPcieNotifier (
|
VOID
|
);
|
|
EFI_STATUS
|
EFIAPI
|
RegisterEmmc (
|
VOID
|
);
|
|
#endif
|
