build(ffa): change invariant CHECK to assert (1/3)
Signed-off-by: Daniel Boulby <daniel.boulby@arm.com>
Change-Id: I519e327b4a488ea02320a94ad973c7943534e9fd
diff --git a/inc/hf/addr.h b/inc/hf/addr.h
index a2d2080..45d7b37 100644
--- a/inc/hf/addr.h
+++ b/inc/hf/addr.h
@@ -13,7 +13,7 @@
#include "hf/arch/types.h"
-#include "hf/check.h"
+#include "hf/assert.h"
/** An opaque type for a physical address. */
typedef struct {
@@ -83,7 +83,7 @@
*/
static inline paddr_t pa_sub(paddr_t pa, size_t n)
{
- CHECK((uintptr_t)pa_addr(pa) >= n);
+ assert((uintptr_t)pa_addr(pa) >= n);
return pa_init(pa_addr(pa) - n);
}