commit 4c1edbefb980a751a87a65b2ab2cb3e01c3bab3e
author Jakob Vukalovic <jakobvukalovic@google.com> Mon Apr 17 19:10:57 2023 +0100
committer Jakob Vukalovic <jakobvukalovic@google.com> Wed May 24 15:34:26 2023 +0100
tree cbacda423e41ea20fd5f61b7639f20ff196eaf66
parent 44b1ce35f3cf074235b0ab1c0eb3a445ca81b96f

pvmfw: Manage dirty state in hardware if possible

Manage dirty state in hardware on devices that support `FEAT_HAFDBS`.
Check presence of feature and enable dirty state management in TCR_EL1.

Bug: 269738062
Test: atest MicrodroidTestApp

Change-Id: If9044702a02fa2f29a747d9d80cc958773bdfe17

pvmfw/Android.bp

diff --git a/pvmfw/Android.bp b/pvmfw/Android.bp
index c79605f..c329d26 100644
--- a/pvmfw/Android.bp
+++ b/pvmfw/Android.bp
@@ -12,6 +12,7 @@
     flags: ["-Dunsafe_op_in_unsafe_fn"],
     features: [
         "legacy",
+        "cpu_feat_hafdbs",
     ],
     rustlibs: [
         "libaarch64_paging",