commit | 887364660bf96ffa08ab51b991399c105b9a25ae | [log] [tgz] |
---|---|---|
author | Alice Wang <aliceywang@google.com> | Wed Jul 05 12:14:15 2023 +0000 |
committer | Alice Wang <aliceywang@google.com> | Thu Jul 06 14:19:56 2023 +0000 |
tree | 18c01e732c41cf37e2e508992a814272856cc2c7 | |
parent | ae9ed2a6e510e84cf03cefba834bcaf05c8f217e [diff] |
[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
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.