/*++ @file

Copyright (c) 2011, Apple Inc. All rights reserved.<BR>
SPDX-License-Identifier: BSD-2-Clause-Patent

**/

#include <PiPei.h>

CONST EFI_PEI_PPI_DESCRIPTOR  *gPpiList = NULL;