1234567891011121314151617181920212223242526272829303132333435363738394041 |
- /**@file
- PEI TBT Common Init Dispatch library Header file
- Copyright (c) 2018, Intel Corporation. All rights reserved.<BR>
- SPDX-License-Identifier: BSD-2-Clause-Patent
- **/
- #ifndef __PEI_TBT_COMMON_INIT_LIB_H__
- #define __PEI_TBT_COMMON_INIT_LIB_H__
- #include <Library/PeiServicesLib.h>
- #include <Library/DebugLib.h>
- #include <Library/MemoryAllocationLib.h>
- #include <Library/BaseMemoryLib.h>
- #include <Library/GpioLib.h>
- #include <Library/TimerLib.h>
- #include <Library/IoLib.h>
- #include <Library/PciSegmentLib.h>
- #include <Library/PcdLib.h>
- #include <Library/TbtCommonLib.h>
- #include <IndustryStandard/Pci22.h>
- #include <Library/PchPmcLib.h>
- VOID
- TbtSetSxMode(
- IN BOOLEAN Type,
- IN UINT8 Bus,
- IN UINT8 Device,
- IN UINT8 Function,
- IN UINT8 TbtBootOn
- );
- VOID
- TbtClearVgaRegisters(
- IN UINTN Segment,
- IN UINTN Bus,
- IN UINTN Device,
- IN UINTN Function
- );
- #endif
|