Constant sel4_common::sel4_config::asidInvalid

source · 
pub const asidInvalid: usize = 0;