1 /* 2 * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <plat/common/platform.h> 8 plat_arm_sgi_get_platform_id(void)9unsigned int plat_arm_sgi_get_platform_id(void) 10 { 11 return mmio_read_32(SID_REG_BASE + SID_SYSTEM_ID_OFFSET) 12 & SID_SYSTEM_ID_PART_NUM_MASK; 13 } 14 plat_arm_sgi_get_config_id(void)15unsigned int plat_arm_sgi_get_config_id(void) 16 { 17 return mmio_read_32(SID_REG_BASE + SID_SYSTEM_CFG_OFFSET); 18 } 19