blob: c75f2132b9c38f1f19ed5b0da3ba02f81989b470 [file] [log] [blame]
Nariman Poushin0ece80f2018-02-26 06:52:04 +00001/*
Chandni Cherukuri346a7cc2019-02-27 13:59:11 +05302 * Copyright (c) 2018-2019, ARM Limited and Contributors. All rights reserved.
Nariman Poushin0ece80f2018-02-26 06:52:04 +00003 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
Chandni Cherukuric8ef0452018-10-04 16:32:03 +05307#ifndef SGI_VARIANT_H
8#define SGI_VARIANT_H
Nariman Poushin0ece80f2018-02-26 06:52:04 +00009
10/* SSC_VERSION values for SGI575 */
11#define SGI575_SSC_VER_PART_NUM 0x0783
12
Chandni Cherukuri346a7cc2019-02-27 13:59:11 +053013/* SID Version values for RD-N1E1-Edge */
14#define RD_N1E1_EDGE_SID_VER_PART_NUM 0x0786
15#define RD_E1_EDGE_CONFIG_ID 0x2
Chandni Cherukuric8ef0452018-10-04 16:32:03 +053016
17/* Structure containing SGI platform variant information */
18typedef struct sgi_platform_info {
19 unsigned int platform_id; /* Part Number of the platform */
20 unsigned int config_id; /* Config Id of the platform */
21} sgi_platform_info_t;
22
23extern sgi_platform_info_t sgi_plat_info;
24
Chandni Cherukuri3aa09f72018-11-28 11:31:51 +053025/* returns the part number of the platform*/
26unsigned int plat_arm_sgi_get_platform_id(void);
27
28/* returns the configuration id of the platform */
29unsigned int plat_arm_sgi_get_config_id(void);
30
Chandni Cherukuric8ef0452018-10-04 16:32:03 +053031#endif /* SGI_VARIANT_H */