1 /* 2 * Copyright (c) 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 plat_arm_sgi_get_platform_id(void)10unsigned int plat_arm_sgi_get_platform_id(void) 11 { 12 return mmio_read_32(SID_REG_BASE + SID_SYSTEM_ID_OFFSET) 13 & SID_SYSTEM_ID_PART_NUM_MASK; 14 } 15 plat_arm_sgi_get_config_id(void)16unsigned int plat_arm_sgi_get_config_id(void) 17 { 18 return mmio_read_32(SID_REG_BASE + SID_SYSTEM_CFG_OFFSET); 19 } 20 plat_arm_sgi_get_multi_chip_mode(void)21unsigned int plat_arm_sgi_get_multi_chip_mode(void) 22 { 23 return (mmio_read_32(SID_REG_BASE + SID_NODE_ID_OFFSET) & 24 SID_MULTI_CHIP_MODE_MASK) >> SID_MULTI_CHIP_MODE_SHIFT; 25 } 26 bl31_platform_setup(void)27void bl31_platform_setup(void) 28 { 29 sgi_bl31_common_platform_setup(); 30 } 31