diff --git a/bsps/arm/edb7312/console/uart.c b/bsps/arm/edb7312/console/uart.c
index d9aa5c1ae1..b3202832ea 100644
--- a/bsps/arm/edb7312/console/uart.c
+++ b/bsps/arm/edb7312/console/uart.c
@@ -65,8 +65,24 @@ console_tbl Console_Configuration_Ports[] = {
         0                                 /* ulIntVector */
     }};
 
-static int     uart_first_open(int major, int minor, void *arg) {return 0;}
-static int     uart_last_close(int major, int minor, void *arg) {return 0;}
+static int     uart_first_open(int major, int minor, void *arg)
+{
+  (void) major;
+  (void) minor;
+  (void) arg;
+
+  return 0;
+}
+
+static int     uart_last_close(int major, int minor, void *arg)
+{
+  (void) major;
+  (void) minor;
+  (void) arg;
+
+  return 0;
+}
+
 static int     uart_read(int minor)
 {
     return uart_poll_read(minor);
@@ -79,6 +95,9 @@ static void    uart_write_polled(int minor, char c)
 
 static int     uart_set_attributes(int minor, const struct termios *t)
 {
+    (void) minor;
+    (void) t;
+
     return 0;
 }
 
diff --git a/bsps/arm/edb7312/irq/irq.c b/bsps/arm/edb7312/irq/irq.c
index 10953f596c..b54140ff2f 100644
--- a/bsps/arm/edb7312/irq/irq.c
+++ b/bsps/arm/edb7312/irq/irq.c
@@ -34,6 +34,9 @@ rtems_status_code bsp_interrupt_get_attributes(
   rtems_interrupt_attributes *attributes
 )
 {
+  (void) vector;
+  (void) attributes;
+
   return RTEMS_SUCCESSFUL;
 }
 
@@ -42,6 +45,8 @@ rtems_status_code bsp_interrupt_is_pending(
   bool               *pending
 )
 {
+  (void) vector;
+
   bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector));
   bsp_interrupt_assert(pending != NULL);
   *pending = false;
@@ -50,12 +55,16 @@ rtems_status_code bsp_interrupt_is_pending(
 
 rtems_status_code bsp_interrupt_raise(rtems_vector_number vector)
 {
+  (void) vector;
+
   bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector));
   return RTEMS_UNSATISFIED;
 }
 
 rtems_status_code bsp_interrupt_clear(rtems_vector_number vector)
 {
+  (void) vector;
+
   bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector));
   return RTEMS_UNSATISFIED;
 }
@@ -65,6 +74,8 @@ rtems_status_code bsp_interrupt_vector_is_enabled(
   bool               *enabled
 )
 {
+  (void) vector;
+
   bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector));
   bsp_interrupt_assert(enabled != NULL);
   *enabled = false;
@@ -132,6 +143,9 @@ rtems_status_code bsp_interrupt_set_priority(
   uint32_t priority
 )
 {
+  (void) vector;
+  (void) priority;
+
   bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector));
   return RTEMS_UNSATISFIED;
 }
@@ -141,6 +155,9 @@ rtems_status_code bsp_interrupt_get_priority(
   uint32_t *priority
 )
 {
+  (void) vector;
+  (void) priority;
+
   bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector));
   bsp_interrupt_assert(priority != NULL);
   return RTEMS_UNSATISFIED;