Have vm_secondary_start_vcpu take vcpu rather than index.
This simplifies it, and the caller already has to check the index.
There's also no need to check whether the VM is the primary, as we
already assume it is a secondary anyway.
Change-Id: I0edd2a273fef3d4098e7c45ac7a1e81d1416844b
diff --git a/src/load.c b/src/load.c
index 0f71770..56751aa 100644
--- a/src/load.c
+++ b/src/load.c
@@ -285,6 +285,7 @@
ipaddr_t secondary_entry;
const char *p;
struct vm *vm;
+ struct vcpu *vcpu;
dlog("Loading ");
for (p = name.next; p != name.limit; ++p) {
@@ -348,8 +349,9 @@
dlog("Loaded with %u vcpus, entry at 0x%x\n", cpu,
pa_addr(secondary_mem_begin));
- vm_secondary_start_vcpu(
- vm, 0, secondary_entry,
+ vcpu = &vm->vcpus[0];
+ vcpu_secondary_reset_and_start(
+ vcpu, secondary_entry,
pa_difference(secondary_mem_begin, secondary_mem_end));
}