[kernel][mmu] Fix 'k ut' mmu page leaks

The arch aspace ::Destroy method requires that the address space be
fully unmapped, which certain unit tests were not ensuring.

This change also tightens the debug check that the aspace is unmapped in
the x86 mmu code now that different aspaces always have distinct top
level page tables.

FLK-218 #comment [kernel][mmu] Fix 'k ut' mmu page leaks

Change-Id: If5bf25cc2cb43c7f4dc1282389d871c2c5824726
4 files changed
tree: 40b080594f69b5ee3b599a8344191a98812a49e4
  1. boards/
  2. build/
  3. buildtools/
  4. bundles/
  5. docs/
  6. examples/
  7. garnet/
  8. infra/
  9. peridot/
  10. products/
  11. scripts/
  12. sdk/
  13. src/
  14. third_party/
  15. tools/
  16. zircon/
  17. .clang-format
  18. .clang-tidy
  19. .dir-locals.el
  20. .gitattributes
  21. .gitignore
  22. .gn
  23. AUTHORS
  24. BUILD.gn
  25. CODE_OF_CONDUCT.md
  26. CONTRIBUTING.md
  27. LICENSE
  28. OWNERS
  29. PATENTS
  30. README.md
  31. rustfmt.toml
README.md

Fuchsia

Pink + Purple == Fuchsia (a new operating system)

What is Fuchsia?

Fuchsia is a modular, capability-based operating system. Fuchsia runs on modern 64-bit Intel and ARM processors.

Fuchsia is an open source project with a code of conduct that we expect everyone who interacts with the project to respect.

How can I build and run Fuchsia?

See Getting Started.

Where can I learn more about Fuchsia?

See the documentation.