/** @file

  Copyright (c) 2020, Intel Corporation. All rights reserved.<BR>
  SPDX-License-Identifier: BSD-2-Clause-Patent
**/

#ifndef _DXE_SA_POLICY_UPDATE_H_
#define _DXE_SA_POLICY_UPDATE_H_

#include <PiDxe.h>
#include <CpuRegs.h>
#include <PchAccess.h>
#include <Library/IoLib.h>
#include <Library/HobLib.h>
#include <Library/DebugLib.h>
#include <Library/BaseMemoryLib.h>
#include <Library/UefiBootServicesTableLib.h>
#include <Library/UefiRuntimeServicesTableLib.h>
#include <Protocol/SaPolicy.h>
#include <Library/CpuPlatformLib.h>
#include <Library/BaseLib.h>
#include <Library/PciSegmentLib.h>

#endif