Rename assert to CHECK.
To avoid confusion with the usual definition of assert in C which will
sometimes be compiled out and the expression not evaluated. CHECK will
always be evaluated and tested.
Change-Id: I6a36359ecdecdada5c12ebf70c67cffec9574f7d
diff --git a/src/cpu.c b/src/cpu.c
index eeea904..daeb1a0 100644
--- a/src/cpu.c
+++ b/src/cpu.c
@@ -21,6 +21,7 @@
#include "hf/arch/cpu.h"
#include "hf/api.h"
+#include "hf/check.h"
#include "hf/dlog.h"
#include "hf/spci.h"
#include "hf/std.h"
@@ -208,7 +209,7 @@
{
size_t index = vcpu - vcpu->vm->vcpus;
- assert(index < UINT16_MAX);
+ CHECK(index < UINT16_MAX);
return index;
}
@@ -251,7 +252,7 @@
struct vm *vm = vcpu->vm;
bool vcpu_was_off;
- assert(vm->id != HF_PRIMARY_VM_ID);
+ CHECK(vm->id != HF_PRIMARY_VM_ID);
vcpu_locked = vcpu_lock(vcpu);
vcpu_was_off = vcpu_is_off(vcpu_locked);