Constant sel4_common::sel4_config::IT_ASID

source · 
pub const IT_ASID: usize = 1;