arm-trusted-firmware/plat/arm/css/sgi/sgi_bl31_setup.c

104 lines
2.5 KiB
C

/*
* 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
}