aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--module/ppu_v1/src/mod_ppu_v1.c2
-rw-r--r--module/scmi_system_power/src/mod_scmi_system_power.c2
-rw-r--r--product/sgm775/scp_ramfw/config_timer.c2
-rw-r--r--product/sgm775/scp_romfw/config_timer.c2
4 files changed, 4 insertions, 4 deletions
diff --git a/module/ppu_v1/src/mod_ppu_v1.c b/module/ppu_v1/src/mod_ppu_v1.c
index 9d12cf52..525b78f1 100644
--- a/module/ppu_v1/src/mod_ppu_v1.c
+++ b/module/ppu_v1/src/mod_ppu_v1.c
@@ -621,7 +621,7 @@ static void ppu_interrupt_handler(uintptr_t pd_ctx_param)
core_pd_ppu_interrupt_handler(pd_ctx);
else
cluster_pd_ppu_interrupt_handler(pd_ctx);
-};
+}
static void ppu_isr_api_interrupt_handler(fwk_id_t pd_id)
{
diff --git a/module/scmi_system_power/src/mod_scmi_system_power.c b/module/scmi_system_power/src/mod_scmi_system_power.c
index 1bcdcf9d..4126769d 100644
--- a/module/scmi_system_power/src/mod_scmi_system_power.c
+++ b/module/scmi_system_power/src/mod_scmi_system_power.c
@@ -89,7 +89,7 @@ static int system_state_get(enum scmi_system_state *system_state)
}
return FWK_SUCCESS;
-};
+}
/*
* PROTOCOL_VERSION
diff --git a/product/sgm775/scp_ramfw/config_timer.c b/product/sgm775/scp_ramfw/config_timer.c
index c00fb7a6..a3f027ff 100644
--- a/product/sgm775/scp_ramfw/config_timer.c
+++ b/product/sgm775/scp_ramfw/config_timer.c
@@ -38,7 +38,7 @@ static const struct fwk_element gtimer_dev_table[] = {
static const struct fwk_element *gtimer_get_dev_table(fwk_id_t module_id)
{
return gtimer_dev_table;
-};
+}
struct fwk_module_config config_gtimer = {
.get_element_table = gtimer_get_dev_table,
diff --git a/product/sgm775/scp_romfw/config_timer.c b/product/sgm775/scp_romfw/config_timer.c
index b76442f9..0b34496b 100644
--- a/product/sgm775/scp_romfw/config_timer.c
+++ b/product/sgm775/scp_romfw/config_timer.c
@@ -37,7 +37,7 @@ static const struct fwk_element gtimer_dev_table[] = {
static const struct fwk_element *gtimer_get_dev_table(fwk_id_t module_id)
{
return gtimer_dev_table;
-};
+}
struct fwk_module_config config_gtimer = {
.get_element_table = gtimer_get_dev_table,