TdxAcpiTable.h

Go to the documentation of this file.

 
#ifndef TDX_ACPI_TABLE_H_
#define TDX_ACPI_TABLE_H_
 
#include <PiDxe.h>
 
#include <Protocol/AcpiTable.h>
#include <Protocol/FirmwareVolume2.h>
#include <Protocol/PciIo.h>
 
#include <Library/BaseLib.h>
#include <Library/UefiBootServicesTableLib.h>
#include <Library/DebugLib.h>
#include <Library/PcdLib.h>
#include <IndustryStandard/IntelTdx.h>
#include <IndustryStandard/Acpi.h>
 
VOID
EFIAPI
AsmGetRelocationMap (
  OUT MP_RELOCATION_MAP  *AddressMap
  );
 
EFI_PHYSICAL_ADDRESS
EFIAPI
RelocateMailbox (
  VOID
  );
 
VOID
EFIAPI
AlterAcpiTable (
  IN EFI_EVENT  Event,
  IN VOID       *Context
  );
 
#endif