1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
| /** @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
|
|
