[pvmfw] Update faulting address register value type to VirtualAddress

This cl changes the type of the faulting address register value in
far_el1 from usize to VirtualAddress. This change makes it explicit
that the value stored in far_el1 is a virtual address.

Test: m pvmfw_img
Bug: 284462758
Change-Id: Iaae7a7371ce64187091f0353dc2f0db325ac10ae
2 files changed
tree: 18c01e732c41cf37e2e508992a814272856cc2c7
  1. apex/
  2. apkdmverity/
  3. authfs/
  4. compos/
  5. demo/
  6. demo_native/
  7. docs/
  8. encryptedstore/
  9. javalib/
  10. launcher/
  11. libs/
  12. microdroid/
  13. microdroid_manager/
  14. pvmfw/
  15. rialto/
  16. service_vm/
  17. tests/
  18. virtualizationmanager/
  19. virtualizationservice/
  20. vm/
  21. vm_payload/
  22. vmbase/
  23. vmclient/
  24. zipfuse/
  25. .clang-format
  26. .gitignore
  27. Android.bp
  28. OWNERS
  29. PREUPLOAD.cfg
  30. README.md
  31. TEST_MAPPING
README.md

Virtualization

This repository contains userspace services related to running virtual machines on Android, especially protected virtual machines. See the getting started documentation and Microdroid README for more information.