Check if pci range is within platform memory range

Also update the platform memory range to 0x100_0000_0000 (0x1<<40) to
correctly reflect the 40-bit IPA.

Bug: 249054080
Test: TH
Change-Id: Id00558a5e450c5d395a595d38c5c4fa573718f3f
2 files changed
tree: a49ae2aaaa76ad1399f69dcefc33037af6e316ae
  1. apex/
  2. apkdmverity/
  3. authfs/
  4. compos/
  5. demo/
  6. docs/
  7. encryptedstore/
  8. javalib/
  9. launcher/
  10. libs/
  11. microdroid/
  12. microdroid_manager/
  13. pvmfw/
  14. rialto/
  15. tests/
  16. virtualizationmanager/
  17. virtualizationservice/
  18. vm/
  19. vm_payload/
  20. vmbase/
  21. vmclient/
  22. zipfuse/
  23. .clang-format
  24. .gitignore
  25. Android.bp
  26. OWNERS
  27. PREUPLOAD.cfg
  28. README.md
  29. 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.