/*******************************************************************************
|
Copyright (C) 2018 Marvell International Ltd.
|
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
|
*******************************************************************************/
|
#ifndef _XENON_SD_MMC_OVERRIDE_H_
|
#define _XENON_SD_MMC_OVERRIDE_H_
|
|
#include <Uefi.h>
|
|
#include <Library/DebugLib.h>
|
#include <Library/MemoryAllocationLib.h>
|
#include <Library/UefiBootServicesTableLib.h>
|
#include <Library/UefiDriverEntryPoint.h>
|
#include <Library/UefiLib.h>
|
|
#include <Protocol/BoardDesc.h>
|
#include <Protocol/NonDiscoverableDevice.h>
|
#include <Protocol/PciIo.h>
|
#include <Protocol/SdMmcOverride.h>
|
|
#include "XenonPciHci.h"
|
#include "XenonSdhci.h"
|
|
#endif
|
