tree 4f5e89cd9143c1f1f5c55d28b485bd4ce1c1f4cd
parent b4881c5aa665b7196adba5bbd25b6f1a5346a335
author Andrew Walbran <qwandor@google.com> 1555605752 +0100
committer Andrew Walbran <qwandor@google.com> 1556299716 +0100

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