1 /*
2  * Copyright (c) 2018-2020, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <plat/common/platform.h>
8 #include <sgi_plat.h>
9 #include <sgi_variant.h>
10 
plat_arm_sgi_get_platform_id(void)11 unsigned int plat_arm_sgi_get_platform_id(void)
12 {
13 	return mmio_read_32(SSC_VERSION) & SSC_VERSION_PART_NUM_MASK;
14 }
15 
plat_arm_sgi_get_config_id(void)16 unsigned int plat_arm_sgi_get_config_id(void)
17 {
18 	return (mmio_read_32(SSC_VERSION) >> SSC_VERSION_CONFIG_SHIFT)
19 			& SSC_VERSION_CONFIG_MASK;
20 }
21 
plat_arm_sgi_get_multi_chip_mode(void)22 unsigned int plat_arm_sgi_get_multi_chip_mode(void)
23 {
24 	return 0;
25 }
26 
bl31_platform_setup(void)27 void bl31_platform_setup(void)
28 {
29 	sgi_bl31_common_platform_setup();
30 }
31