Constant islet_rmm::realm::mm::page_table::pte::attribute::NORMAL

source · 
pub const NORMAL: u64 = 0b0111;