Constant mextk_sys::ASID_DOWNDAMAGED

pub const ASID_DOWNDAMAGED: u32 = 193;