commit 563b79d5eeb131d0c28a1fb504296729e9d36bf2
author Treehugger Robot <treehugger-gerrit@google.com> Fri Feb 17 17:26:47 2023 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Fri Feb 17 17:26:47 2023 +0000
tree d92285132c53420d35c9959f57078f0e9046b12d
parent 9ae9ba0ba861b14aa46abf09b0442749159244c1
parent 73c2d6409601af059a46b938c8dae076ba0e51c2

Merge "pvmfw: Tag TODO with corresponding bug"

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 => {}