1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

pub mod shareable {
    pub const NON_SHAREABLE: u64 = 0b00;
    pub const RESERVED: u64 = 0b01;
    pub const OUTER: u64 = 0b10;
    pub const INNER: u64 = 0b11;
}

pub mod permission {
    pub const RW: u64 = 0b11;
    pub const WO: u64 = 0b10;
    pub const RO: u64 = 0b01;
    pub const NONE: u64 = 0b00;
}

// MemAttr[3:2]:
//      0b01 - Normal, Outer Non-cacheable
//      0b10 - Normal, Outer Write-Through Cacheable
//      0b10 - Normal, Outer Write-Back Cacheable
// MemAttr[1:0]: if MemAttr[3:2] != 0b00
//      0b01 - Inner Non-cacheable
//      0b10 - Inner Write-Through Cacheable
//      0b11 - Inner Write-Back Cacheable
// MemAttr[1:0]: if MemAttr[3:2] == 0b00
//      0b00 - Device-nGnRnE
//      0b01 - Device-nGnRE
//      0b10 - Device-nGRE
//      0b11 - Device-GRE
pub mod memattr {
    pub const NORMAL_FWB: u64 = 0b0110;
    pub const NORMAL: u64 = 0b0111;
    pub const NORMAL_NC: u64 = 0b0101;
    pub const FWB_RESERVED: u64 = 0b0100;
    pub const DEVICE_NGNRE: u64 = 0b0001;
}

pub mod page_type {
    pub const BLOCK: u64 = 0b0;
    pub const TABLE_OR_PAGE: u64 = 0b1;
}

pub mod desc_type {
    pub const L012_TABLE: u64 = 0x3;
    pub const L012_BLOCK: u64 = 0x1;
    pub const L3_PAGE: u64 = 0x3;
    pub const LX_INVALID: u64 = 0x0;
}