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
5 files changed
tree: 4f5e89cd9143c1f1f5c55d28b485bd4ce1c1f4cd
  1. build/
  2. docs/
  3. driver/
  4. inc/
  5. kokoro/
  6. project/
  7. src/
  8. test/
  9. third_party/
  10. .clang-format
  11. .clang-tidy
  12. .gitignore
  13. .gitmodules
  14. .gn
  15. AUTHORS
  16. BUILD.gn
  17. CONTRIBUTING.md
  18. LICENSE
  19. Makefile
  20. README.md
README.md

Hafnium

Hafnium is a hypervisor, initially supporting aarch64 (64-bit ARMv8 CPUs).

Get in touch and keep up-to-date at hafnium-discuss@googlegroups.com.

Getting started

To jump in and build Hafnium, follow the getting started instructions.