diff --git a/bsps/mips/rbtx4938/console/console-io.c b/bsps/mips/rbtx4938/console/console-io.c
index 7bcb8880b6..48edc1b686 100644
--- a/bsps/mips/rbtx4938/console/console-io.c
+++ b/bsps/mips/rbtx4938/console/console-io.c
@@ -53,6 +53,9 @@ rtems_device_driver console_initialize(
   void                      *arg
 )
 {
+  (void) minor;
+  (void) arg;
+
   rtems_status_code status;
 
   status = rtems_io_register_name(
@@ -114,6 +117,10 @@ rtems_device_driver console_open(
   void                    * arg
 )
 {
+  (void) major;
+  (void) minor;
+  (void) arg;
+
   return RTEMS_SUCCESSFUL;
 }
 
@@ -126,6 +133,10 @@ rtems_device_driver console_close(
   void                    * arg
 )
 {
+  (void) major;
+  (void) minor;
+  (void) arg;
+
   return RTEMS_SUCCESSFUL;
 }
 
@@ -138,6 +149,9 @@ rtems_device_driver console_read(
   void                    * arg
 )
 {
+  (void) major;
+  (void) minor;
+
   rtems_libio_rw_args_t *rw_args;
   char *buffer;
   int maximum;
@@ -169,6 +183,9 @@ rtems_device_driver console_write(
   void                    * arg
 )
 {
+  (void) major;
+  (void) minor;
+
   int count;
   int maximum;
   rtems_libio_rw_args_t *rw_args;
@@ -199,6 +216,10 @@ rtems_device_driver console_control(
   void                    * arg
 )
 {
+  (void) major;
+  (void) minor;
+  (void) arg;
+
   return RTEMS_SUCCESSFUL;
 }
 
diff --git a/bsps/mips/rbtx4938/irq/vectorisrs.c b/bsps/mips/rbtx4938/irq/vectorisrs.c
index 7327539d7e..8144633588 100644
--- a/bsps/mips/rbtx4938/irq/vectorisrs.c
+++ b/bsps/mips/rbtx4938/irq/vectorisrs.c
@@ -44,6 +44,8 @@ void mips_default_isr( int vector );
 
 void mips_vector_isr_handlers( CPU_Interrupt_frame *frame )
 {
+  (void) frame;
+
   unsigned int sr;
   unsigned int cause;
   unsigned int pending;