1 /* 2 * Copyright (c) 2018-2022, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef SGI_VARIANT_H 8 #define SGI_VARIANT_H 9 10 /* SSC_VERSION values for SGI575 */ 11 #define SGI575_SSC_VER_PART_NUM 0x0783 12 13 /* 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 16 17 /* SID Version values for RD-V1 */ 18 #define RD_V1_SID_VER_PART_NUM 0x078a 19 20 /* SID Version values for RD-N2 */ 21 #define RD_N2_SID_VER_PART_NUM 0x07B7 22 23 /* SID Version values for RD-N2 variants */ 24 #define RD_N2_CFG1_SID_VER_PART_NUM 0x07B6 25 26 /* SID Version values for RD-V2 */ 27 #define RD_V2_SID_VER_PART_NUM 0x07F2 28 #define RD_V2_CONFIG_ID 0x1 29 30 /* Structure containing SGI platform variant information */ 31 typedef struct sgi_platform_info { 32 unsigned int platform_id; /* Part Number of the platform */ 33 unsigned int config_id; /* Config Id of the platform */ 34 unsigned int chip_id; /* Chip Id or Node number */ 35 unsigned int multi_chip_mode; /* Multi-chip mode availability */ 36 } sgi_platform_info_t; 37 38 extern sgi_platform_info_t sgi_plat_info; 39 40 /* returns the part number of the platform*/ 41 unsigned int plat_arm_sgi_get_platform_id(void); 42 43 /* returns the configuration id of the platform */ 44 unsigned int plat_arm_sgi_get_config_id(void); 45 46 /* returns true if operating in multi-chip configuration */ 47 unsigned int plat_arm_sgi_get_multi_chip_mode(void); 48 49 #endif /* SGI_VARIANT_H */ 50