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

source · 
pub const DEVICE_NGNRE: u64 = 0b0001;