build(ffa): change invariant CHECK to assert (2/3)

Signed-off-by: Daniel Boulby <daniel.boulby@arm.com>
Change-Id: I33f948315c4568af3bd757f0f89bb8d336b9ad39
diff --git a/inc/hf/io.h b/inc/hf/io.h
index 5bc69b5..3a4818a 100644
--- a/inc/hf/io.h
+++ b/inc/hf/io.h
@@ -14,7 +14,7 @@
 #include "hf/arch/barriers.h"
 #include "hf/arch/types.h"
 
-#include "hf/check.h"
+#include "hf/assert.h"
 
 /* Opaque types for different sized fields of memory mapped IO. */
 
@@ -137,25 +137,25 @@
 
 static inline uint8_t io_read8_array(io8_array_t io, size_t n)
 {
-	CHECK(n < io.count);
+	assert(n < io.count);
 	return io.base[n];
 }
 
 static inline uint16_t io_read16_array(io16_array_t io, size_t n)
 {
-	CHECK(n < io.count);
+	assert(n < io.count);
 	return io.base[n];
 }
 
 static inline uint32_t io_read32_array(io32_array_t io, size_t n)
 {
-	CHECK(n < io.count);
+	assert(n < io.count);
 	return io.base[n];
 }
 
 static inline uint64_t io_read64_array(io64_array_t io, size_t n)
 {
-	CHECK(n < io.count);
+	assert(n < io.count);
 	return io.base[n];
 }
 
@@ -268,25 +268,25 @@
 
 static inline void io_write8_array(io8_array_t io, size_t n, uint8_t v)
 {
-	CHECK(n < io.count);
+	assert(n < io.count);
 	io.base[n] = v;
 }
 
 static inline void io_write16_array(io16_array_t io, size_t n, uint16_t v)
 {
-	CHECK(n < io.count);
+	assert(n < io.count);
 	io.base[n] = v;
 }
 
 static inline void io_write32_array(io32_array_t io, size_t n, uint32_t v)
 {
-	CHECK(n < io.count);
+	assert(n < io.count);
 	io.base[n] = v;
 }
 
 static inline void io_write64_array(io64_array_t io, size_t n, uint64_t v)
 {
-	CHECK(n < io.count);
+	assert(n < io.count);
 	io.base[n] = v;
 }