| commit | 581e9b607ad099ccc18e95692877f33f98c0e6d3 | [log] [tgz] |
|---|---|---|
| author | Pierre-Clément Tosi <ptosi@google.com> | Thu Oct 27 16:21:13 2022 +0100 |
| committer | Pierre-Clément Tosi <ptosi@google.com> | Tue Nov 01 14:25:41 2022 +0000 |
| tree | 9349bbc163929140f4e969d58e01d85600b0ed8d | |
| parent | 13731e95a52cc6c53d813baa7f14ed427b28b21b [diff] |
vmbase_example: Replace cast with .as{_mut}_ptr()
Instead of double-casting a reference to the array, use the relevant
method and print the value using the standard Debug format of pointers.
Test: m vmbase_example
Change-Id: Iae093f33110210ded5632fe12f4068c79ec37942
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.