diff --git a/bsps/mips/rbtx4925/console/console-io.c b/bsps/mips/rbtx4925/console/console-io.c
index 5cf87ed765..e2d664f83f 100644
--- a/bsps/mips/rbtx4925/console/console-io.c
+++ b/bsps/mips/rbtx4925/console/console-io.c
@@ -50,6 +50,9 @@ rtems_device_driver console_initialize(
   void                      *arg
 )
 {
+  (void) minor;
+  (void) arg;
+
   rtems_status_code status;
 
   status = rtems_io_register_name(
@@ -111,6 +114,10 @@ rtems_device_driver console_open(
   void                    * arg
 )
 {
+  (void) major;
+  (void) minor;
+  (void) arg;
+
   return RTEMS_SUCCESSFUL;
 }
 
@@ -123,6 +130,10 @@ rtems_device_driver console_close(
   void                    * arg
 )
 {
+  (void) major;
+  (void) minor;
+  (void) arg;
+
   return RTEMS_SUCCESSFUL;
 }
 
@@ -135,6 +146,9 @@ rtems_device_driver console_read(
   void                    * arg
 )
 {
+  (void) major;
+  (void) minor;
+
   rtems_libio_rw_args_t *rw_args;
   char *buffer;
   int maximum;
@@ -166,6 +180,9 @@ rtems_device_driver console_write(
   void                    * arg
 )
 {
+  (void) major;
+  (void) minor;
+
   int count;
   int maximum;
   rtems_libio_rw_args_t *rw_args;
@@ -196,6 +213,10 @@ rtems_device_driver console_control(
   void                    * arg
 )
 {
+  (void) major;
+  (void) minor;
+  (void) arg;
+
   return RTEMS_SUCCESSFUL;
 }
 
diff --git a/bsps/mips/rbtx4925/irq/vectorisrs.c b/bsps/mips/rbtx4925/irq/vectorisrs.c
index b3df7d429c..3a9b89ce95 100644
--- a/bsps/mips/rbtx4925/irq/vectorisrs.c
+++ b/bsps/mips/rbtx4925/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;