commit 73c2d6409601af059a46b938c8dae076ba0e51c2
author Pierre-Clément Tosi <ptosi@google.com> Fri Feb 17 14:56:48 2023 +0000
committer Pierre-Clément Tosi <ptosi@google.com> Fri Feb 17 15:56:25 2023 +0000
tree ecc27717a21aad8356220df9f7683fb074421999
parent 1d41447423ac743a956c62b46da8d01e2c17d2f8

pvmfw: Tag TODO with corresponding bug

Test: -
Change-Id: I5ef9405643915ca13ab52646b87f5c1d2d573c15

pvmfw/src/memory.rs

diff --git a/pvmfw/src/memory.rs b/pvmfw/src/memory.rs
index 7eecb97..6c97d79 100644
--- a/pvmfw/src/memory.rs
+++ b/pvmfw/src/memory.rs
@@ -267,7 +267,7 @@
         for region in &self.regions {
             match region.mem_type {
                 MemoryType::ReadWrite => {
-                    // TODO: Use page table's dirty bit to only flush pages that were touched.
+                    // TODO(b/269738062): Use PT's dirty bit to only flush pages that were touched.
                     helpers::flush_region(region.range.start, region.range.len())
                 }
                 MemoryType::ReadOnly => {}