#ifndef __TXTPEI_H__
#define __TXTPEI_H__

#include <Uefi.h>

/*
 * TxtPei.h
 * Header for TxtPei PEI module
 */

// Function: memset @ 0xffe06290
// Function: setMem32 @ 0xffe062b0
// Function: memset32 @ 0xffe062d0
// Function: CopyMem @ 0xffe06370
EFI_STATUS ModuleEntryPoint(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable);
// Function: TxtPeiInit @ 0xffe0683a
// Function: LtPeiWriteMsr @ 0xffe06968
// Function: LtPeiLockMsr @ 0xffe06989
// Function: LtPeiEnableMtrr @ 0xffe069dc
// Function: PchIoWrite @ 0xffe06a52
// Function: TxtDebugPrintPolicy @ 0xffe06acf
// Function: LtPeiGetTxtVersion @ 0xffe06b66
// Function: LtPeiLockConfig @ 0xffe06ba6
// Function: LtPeiLibInitialize @ 0xffe06c07
// Function: BitFieldRead32 @ 0xffe06e07
// Function: LtPeiLibLaunchBiosAcm @ 0xffe06e41
// Function: EndOfHobCheck @ 0xffe0703e
// Function: IoRead8 @ 0xffe0708c
// Function: CpuRegRead @ 0xffe070c3
// Function: ReportStatusCode @ 0xffe070ff
// Function: IoWrite8 @ 0xffe07141
// Function: IoRead16 @ 0xffe0717f
// Function: IoWrite16 @ 0xffe0719c
// Function: MmioWrite16 @ 0xffe0721e
// Function: MmioRead16 @ 0xffe0729e
// Function: ReportProgressCode @ 0xffe072c5
// Function: HobGetSize @ 0xffe07307
"(Length - 1) <= (0xFFFFFFFF - (UINTN)Buffer)");;
// Function: HobStart @ 0xffe073a7
// Function: HobEndCheck @ 0xffe07415
// Function: GetNextGuidHob @ 0xffe0745a
// Function: DebugPrintProtocol @ 0xffe0748d
// Function: DebugPrint @ 0xffe074be
// Function: PeiServicesAssert @ 0xffe074e8
// Function: PeiPcdGet @ 0xffe07506
// Function: CpuGetApicId @ 0xffe0755e
// Function: CpuGetVersion @ 0xffe0756d
// Function: ReadMsr64 @ 0xffe0757c
// Function: IoRead32 @ 0xffe075c7
// Function: IoWrite32 @ 0xffe0760e
// Function: ApicGetBaseAddr @ 0xffe07643
// Function: ApicWriteIcr @ 0xffe0768d
// Function: ApicGetBase @ 0xffe07759
// Function: CacheEnable @ 0xffe077aa
// Function: DwrCheck @ 0xffe0783b
// Function: DebugGetErrorLevel @ 0xffe07888
"((BOOLEAN)(0==1))");;
// Function: PciCfgRead @ 0xffe07965
// Function: IoDelay @ 0xffe0799a
// Function: PsfRegisterRead @ 0xffe079e3
// Function: PsfTgtConfig @ 0xffe079f5
// Function: PsfRegisterWrite @ 0xffe07a53
// Function: PeiServicesGet @ 0xffe07a7f
// Function: CheckFeature @ 0xffe07ab1
// Function: CpuIdViaPeiService @ 0xffe07acf
// Function: SetFeatureBit @ 0xffe07adb
// Function: PeiGetServiceFromIdt @ 0xffe07aec
// Function: CacheRegionSetup @ 0xffe07b0f
// Function: CachePagingSetup @ 0xffe07baa
// Function: BiosAcmInvoke @ 0xffe07d30

#endif /* __TXTPEI_H__ */