diff --git a/bl32/sp_min/sp_min_main.c b/bl32/sp_min/sp_min_main.c index 8e891b757dec881c71dd48264ef143e227cc5dfe..f06a48bfe3c81c583896f361d500872fdcb694cd 100644 --- a/bl32/sp_min/sp_min_main.c +++ b/bl32/sp_min/sp_min_main.c @@ -20,6 +20,7 @@ #include <smccc_helpers.h> #include <stddef.h> #include <stdint.h> +#include <std_svc.h> #include <string.h> #include <types.h> #include <utils.h> diff --git a/plat/arm/css/drivers/scp/css_pm_scmi.c b/plat/arm/css/drivers/scp/css_pm_scmi.c index 0a5cff66859b5763f2f864ed4baa05f169cc5343..715bf980b292e49862891dcf20c94e9ef8759853 100644 --- a/plat/arm/css/drivers/scp/css_pm_scmi.c +++ b/plat/arm/css/drivers/scp/css_pm_scmi.c @@ -298,7 +298,7 @@ void __dead2 css_scp_sys_reboot(void) css_scp_system_off(SCMI_SYS_PWR_COLD_RESET); } -scmi_channel_plat_info_t plat_css_scmi_plat_info = { +static scmi_channel_plat_info_t plat_css_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,