Support different log levels.
This will let us add more verbose logs for debugging but have them
compiled out most of the time.
Change-Id: Iaae468e41025a165b5e67fa6fec5422f004c6a44
diff --git a/src/vcpu.c b/src/vcpu.c
index 2f1b5fc..b77689d 100644
--- a/src/vcpu.c
+++ b/src/vcpu.c
@@ -164,10 +164,11 @@
sl_unlock(&vm->lock);
if (!resume) {
- dlog("Stage-2 page fault: pc=%#x, vmid=%u, vcpu=%u, "
- "vaddr=%#x, ipaddr=%#x, mode=%#x\n",
- f->pc, vm->id, vcpu_index(current), f->vaddr, f->ipaddr,
- f->mode);
+ dlog_warning(
+ "Stage-2 page fault: pc=%#x, vmid=%u, vcpu=%u, "
+ "vaddr=%#x, ipaddr=%#x, mode=%#x\n",
+ f->pc, vm->id, vcpu_index(current), f->vaddr, f->ipaddr,
+ f->mode);
}
return resume;