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/inc/hf/cpu.h b/inc/hf/cpu.h
index acad7ac..45dbb4f 100644
--- a/inc/hf/cpu.h
+++ b/inc/hf/cpu.h
@@ -126,6 +126,8 @@
void vcpu_init(struct vcpu *vcpu, struct vm *vm);
void vcpu_on(struct vcpu *vcpu, ipaddr_t entry, uintreg_t arg);
size_t vcpu_index(const struct vcpu *vcpu);
+void vcpu_secondary_reset_and_start(struct vcpu *vcpu, ipaddr_t entry,
+ uintreg_t arg);
bool vcpu_handle_page_fault(const struct vcpu *current,
struct vcpu_fault_info *f);