| commit | 90238c58a8169cf73ba0a840e5415916aafffa41 | [log] [tgz] |
|---|---|---|
| author | Pierre-Clément Tosi <ptosi@google.com> | Thu Apr 27 17:59:10 2023 +0000 |
| committer | Pierre-Clément Tosi <ptosi@google.com> | Fri May 05 17:04:43 2023 +0000 |
| tree | dd4fc1f4fe6a6ade834cb343063688f9663ff1b7 | |
| parent | 8ec05d17a90d359412fc0a011c93d9ba4d7d0269 [diff] |
pvmfw: virtio: Clean up hal.rs Replace contains_range() with the RangeExt::is_within helper. Turn the logging calls tracking VirtIO buffer management into trace!(). Move logging for allocation of shared memory to the allocators. Avoid using as when casting pointers and use methods instead; in particular, explicitly const_cast the source of a copy_nonoverlapping. Make the logs for copying to/from bounce buffers easier to grep/parse. Minimize scope of unsafe blocks, add missing SAFETY comments, and clarify that HalImpl methods safety requirements are documented in the trait. Add copyright header and module docstring. Bug: 280644106 Test: atest MicrodroidTests Change-Id: I1b4daade70f5f43b6bc0f222568fbaaa29edf27f
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.