score: Add function to destroy SMP locks

testsuites/sptests/sp37/init.c

@@ -178,6 +178,9 @@ static void test_isr_locks( void )
   _ISR_lock_Release( &lock, &lock_context );
 
   rtems_test_assert( normal_interrupt_level == _ISR_Get_level() );
+
+  _ISR_lock_Destroy( &lock );
+  _ISR_lock_Destroy( &initialized );
 }
 
 static rtems_mode get_interrupt_level( void )
@@ -212,6 +215,9 @@ static void test_interrupt_locks( void )
   rtems_interrupt_lock_release_isr( &lock, &lock_context );
 
   rtems_test_assert( normal_interrupt_level == get_interrupt_level() );
+
+  rtems_interrupt_lock_destroy( &lock );
+  rtems_interrupt_lock_destroy( &initialized );
 }
 
 void test_interrupt_inline(void)

testsuites/sptests/spcache01/init.c

@@ -90,6 +90,7 @@ static void test_data_flush_and_invalidate(void)
     }
 
     rtems_interrupt_lock_release(&lock, &lock_context);
+    rtems_interrupt_lock_destroy(&lock);
 
     printf(
       "data cache operations by line passed the test (%s cache detected)\n",
@@ -364,6 +365,8 @@ static void test_timing(void)
     d[1],
     d[2]
   );
+
+  rtems_interrupt_lock_destroy(&lock);
 }
 
 static void Init(rtems_task_argument arg)

testsuites/sptests/spnsext01/init.c

@@ -65,6 +65,7 @@ static rtems_task Init(rtems_task_argument argument)
     uptime = new_uptime;
   }
   rtems_interrupt_lock_release(&lock, &lock_context);
+  rtems_interrupt_lock_destroy(&lock);
 
   puts("*** END OF TEST NANO SECONDS EXTENSION 1 ***");