Bring back state update in api_switch_to_primary.

We need it to take vCPUs from running to ready state, otherwise vCPUs
cannot run anymore. It is safe to do so because we already require that
VM locks be acquired before vCPU locks (when they are held concurrently):
api_mailbox_send already does this.

Also added a test to catch errors when sending/receiving messages leaves
a vCPU is non-runnable state.

Change-Id: I18d9aed89224876abbb2df2039437bad43603ab1
2 files changed
tree: 856d395b992446476733e21dd41e314560ed5b78
  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. BUILD.gn
  16. CONTRIBUTING.md
  17. LICENSE
  18. Makefile
  19. 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.