| /* |
| * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #include <assert.h> |
| #include <bl_common.h> |
| #include <debug.h> |
| #include <libfdt.h> |
| #include <plat_arm.h> |
| #include <sgi_ras.h> |
| #include <sgi_variant.h> |
| #include "../../css/drivers/scmi/scmi.h" |
| #include "../../css/drivers/mhu/css_mhu_doorbell.h" |
| |
| sgi_platform_info_t sgi_plat_info; |
| |
| static scmi_channel_plat_info_t sgi575_scmi_plat_info = { |
| .scmi_mbx_mem = CSS_SCMI_PAYLOAD_BASE, |
| .db_reg_addr = PLAT_CSS_MHU_BASE + CSS_SCMI_MHU_DB_REG_OFF, |
| .db_preserve_mask = 0xfffffffe, |
| .db_modify_mask = 0x1, |
| .ring_doorbell = &mhu_ring_doorbell, |
| }; |
| |
| static scmi_channel_plat_info_t sgi_clark_scmi_plat_info = { |
| .scmi_mbx_mem = CSS_SCMI_PAYLOAD_BASE, |
| .db_reg_addr = PLAT_CSS_MHU_BASE + SENDER_REG_SET(0), |
| .db_preserve_mask = 0xfffffffe, |
| .db_modify_mask = 0x1, |
| .ring_doorbell = &mhuv2_ring_doorbell, |
| }; |
| |
| scmi_channel_plat_info_t *plat_css_get_scmi_info() |
| { |
| if (sgi_plat_info.platform_id == SGI_CLARK_SID_VER_PART_NUM) |
| return &sgi_clark_scmi_plat_info; |
| else if (sgi_plat_info.platform_id == SGI575_SSC_VER_PART_NUM) |
| return &sgi575_scmi_plat_info; |
| else |
| panic(); |
| }; |
| |
| /******************************************************************************* |
| * This function sets the sgi_platform_id and sgi_config_id |
| ******************************************************************************/ |
| int sgi_identify_platform(unsigned long hw_config) |
| { |
| void *fdt; |
| int nodeoffset; |
| const unsigned int *property; |
| |
| fdt = (void *)hw_config; |
| |
| /* Check the validity of the fdt */ |
| assert(fdt_check_header(fdt) == 0); |
| |
| nodeoffset = fdt_subnode_offset(fdt, 0, "system-id"); |
| if (nodeoffset < 0) { |
| ERROR("Failed to get system-id node offset\n"); |
| return -1; |
| } |
| |
| property = fdt_getprop(fdt, nodeoffset, "platform-id", NULL); |
| if (property == NULL) { |
| ERROR("Failed to get platform-id property\n"); |
| return -1; |
| } |
| |
| sgi_plat_info.platform_id = fdt32_to_cpu(*property); |
| |
| property = fdt_getprop(fdt, nodeoffset, "config-id", NULL); |
| if (property == NULL) { |
| ERROR("Failed to get config-id property\n"); |
| return -1; |
| } |
| |
| sgi_plat_info.config_id = fdt32_to_cpu(*property); |
| |
| return 0; |
| } |
| |
| void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1, |
| u_register_t arg2, u_register_t arg3) |
| { |
| int ret; |
| |
| ret = sgi_identify_platform(arg2); |
| if (ret == -1) |
| panic(); |
| |
| arm_bl31_early_platform_setup((void *)arg0, arg1, arg2, (void *)arg3); |
| } |
| |
| void bl31_platform_setup(void) |
| { |
| arm_bl31_platform_setup(); |
| |
| #if RAS_EXTENSION |
| sgi_ras_intr_handler_setup(); |
| #endif |
| } |