Constant mextk_sys::ASID_DASH

pub const ASID_DASH: u32 = 20;