/** @file
*
*  Copyright (c) 2021, Rockchip Inc. All rights reserved.
*
*  This program and the accompanying materials
*  are licensed and made available under the terms and conditions of the BSD License
*  which accompanies this distribution.  The full text of the license may be found at
*  http://opensource.org/licenses/bsd-license.php
*
*  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
*  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
*
**/

#ifndef __PALTFORM_LIB_H__
#define __PALTFORM_LIB_H__

#include <Uefi.h>

/**
  Check to see if any data is available to be read from the debug device.

  @retval TRUE       At least one byte of data is available to be read
  @retval FALSE      No data is available to be read

**/
VOID
EFIAPI
DwEmmcDxeIoMux ();

void
EFIAPI
SdhciEmmcDxeIoMux();

VOID
EFIAPI
DebugPrintHex(
VOID *buf,
UINT32 width,
UINT32 len);

EFI_STATUS
EFIAPI
SdhciGetClockRate (
  IN UINTN TargetFreq,
  OUT UINTN *BaseFreq
  );

void
EFIAPI
Rk806SpiIomux(void);

void
EFIAPI
NorFspiIomux(void);

UINT32
EFIAPI
I2cGetBase (
   UINT32 id
);

void
EFIAPI
UsbPortPowerEnable (void);

void
EFIAPI
Usb2PhySuspend (void);

void
EFIAPI
Usb2PhyResume (void);

void
EFIAPI
Pcie30IoInit(void);

void
EFIAPI
Pcie30PowerEn(void);

void
EFIAPI
Pcie30PeReset(BOOLEAN enable);

#endif