build(ffa): change invariant CHECK to assert (3/3)
Signed-off-by: Daniel Boulby <daniel.boulby@arm.com>
Change-Id: I68ad8e57b040f7b596cc716bcdc13b82737c2946
diff --git a/src/vm.c b/src/vm.c
index 699e498..b2ab680 100644
--- a/src/vm.c
+++ b/src/vm.c
@@ -9,6 +9,7 @@
#include "hf/vm.h"
#include "hf/api.h"
+#include "hf/assert.h"
#include "hf/check.h"
#include "hf/cpu.h"
#include "hf/dlog.h"
@@ -518,7 +519,7 @@
* state. Count update by increments or decrements of 1 or -1,
* respectively.
*/
- CHECK(inc == 1 || inc == -1);
+ assert(inc == 1 || inc == -1);
sl_lock(&all_notifications_state.lock);