commit 7586e04fc9a264c30d44ecb8e540daf5e2b94467
author Andrew Walbran <qwandor@google.com> Tue Feb 18 18:19:26 2020 +0000
committer Andrew Walbran <qwandor@google.com> Wed Feb 19 12:11:11 2020 +0000
tree 6135702de7d1ceeaa414210be3ff500b32d391dc
parent 2da768fa6c07e2c59f9c6c4f612bf39d041243ae

Log entry point of primary VM too.

Change-Id: I91cc90dec6df008df73b0cf63031a7fb6a2c10f5

src/load.c

diff --git a/src/load.c b/src/load.c
index 89c905a..eee65e3 100644
--- a/src/load.c
+++ b/src/load.c
@@ -139,12 +139,12 @@
 	}
 
 	if (!vm_init_next(MAX_CPUS, ppool, &vm)) {
-		dlog_error("Unable to initialise primary vm\n");
+		dlog_error("Unable to initialise primary VM.\n");
 		return false;
 	}
 
 	if (vm->id != HF_PRIMARY_VM_ID) {
-		dlog_error("Primary vm was not given correct id\n");
+		dlog_error("Primary VM was not given correct ID.\n");
 		return false;
 	}
 
@@ -195,6 +195,9 @@
 		goto out;
 	}
 
+	dlog_info("Loaded primary VM with %u vCPUs, entry at %#x.\n",
+		  vm->vcpu_count, pa_addr(primary_begin));
+
 	vcpu_locked = vcpu_lock(vm_get_vcpu(vm, 0));
 	vcpu_on(vcpu_locked, ipa_from_pa(primary_begin), params->kernel_arg);
 	vcpu_unlock(&vcpu_locked);