islet_rmm/mm/page_table/attr.rs
1pub mod shareable {
2 pub const NONE: u64 = 0b00;
3 pub const OUTER: u64 = 0b10;
4 pub const INNER: u64 = 0b11;
5}
6
7pub mod permission {
8 pub const RW: u64 = 0b00;
9 pub const RO: u64 = 0b10;
10}
11
12pub mod page_type {
13 pub const BLOCK: u64 = 0b0;
14 pub const TABLE_OR_PAGE: u64 = 0b1;
15}
16
17pub mod mair_idx {
18 pub const RMM_MEM: u64 = 0b0;
19 pub const DEVICE_MEM: u64 = 0b1;
20 pub const RW_DATA: u64 = 0b0;
21}