/** @file
*
*  Copyright (c) 2018, ARM Limited. All rights reserved.
*
*  SPDX-License-Identifier: BSD-2-Clause-Patent
*
**/

#ifndef  SGI_PLATFORMID_PPI_
#define  SGI_PLATFORMID_PPI_

// NT_FW_CONFIG DT structure
typedef struct {
  UINT64                  NtFwConfigDtAddr;
} SGI_NT_FW_CONFIG_INFO_PPI;

#endif