Tests should release the RX buffer when they are done.

Add a TEAR_DOWN to all test suites which use the RX buffer to check
that it has been released by the time each test finishes.

Bug: 146208457
Change-Id: Ic3b14fe7acee4ceaeef948dade39d87f6b2e0861
diff --git a/test/vmapi/primary_with_secondaries/interrupts.c b/test/vmapi/primary_with_secondaries/interrupts.c
index 5aaf830..dce89ab 100644
--- a/test/vmapi/primary_with_secondaries/interrupts.c
+++ b/test/vmapi/primary_with_secondaries/interrupts.c
@@ -24,6 +24,11 @@
 #include "test/hftest.h"
 #include "test/vmapi/spci.h"
 
+TEAR_DOWN(interrupts)
+{
+	EXPECT_SPCI_ERROR(spci_rx_release(), SPCI_DENIED);
+}
+
 /**
  * Send a message to the interruptible VM, which will interrupt itself to send a
  * response back.