commit ee5b1804de8e00116ad874e975238c47233d5f2f
author Alice Wang <aliceywang@google.com> Wed Jun 07 07:41:54 2023 +0000
committer Alice Wang <aliceywang@google.com> Wed Jun 07 09:27:36 2023 +0000
tree 2f4a95241a7aeca8c0e987e9be793ddf90a4a5cf
parent 446146a80287874607115ac03793c64b2893cf5b

[vmbase] Add page table parameters to vmbase for reuse

in both pvmfw and rialto.

Bug: 284462758
Test: m pvmfw_img
Change-Id: I389e538ec23b8775a39847ff1735b67fd45a6bb4

vmbase/src/memory/mod.rs

diff --git a/vmbase/src/memory/mod.rs b/vmbase/src/memory/mod.rs
index 13f1af5..bb9149c 100644
--- a/vmbase/src/memory/mod.rs
+++ b/vmbase/src/memory/mod.rs
@@ -20,7 +20,7 @@
 mod util;
 
 pub use dbm::{flush_dirty_range, set_dbm_enabled};
-pub use page_table::{is_leaf_pte, PageTable, MMIO_LAZY_MAP_FLAG};
+pub use page_table::{is_leaf_pte, PageTable, MMIO_LAZY_MAP_FLAG, PT_ASID};
 pub use shared::MemorySharer;
 pub use util::{
     flush, flushed_zeroize, min_dcache_line_size, page_4kb_of, phys_to_virt, virt_to_phys,