Platform/RaspberryPi/Drivers/ConfigDxe/ConfigDxe.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

/** @file
 *
 *  Copyright (c) 2020, Andrei Warkentin <andrey.warkentin@gmail.com>
 *
 *  SPDX-License-Identifier: BSD-2-Clause-Patent
 *
 **/

#ifndef _CONFIG_DXE_H_
#define _CONFIG_DXE_H_

#include <Uefi.h>
#include <Protocol/RpiFirmware.h>

VOID RegisterXhciQuirkHandler (
  IN RASPBERRY_PI_FIRMWARE_PROTOCOL *FwProtocol
  );

#endif /* _CONFIG_DXE_H_ */