Constant mextk_sys::ASID_ACTIONABLE

pub const ASID_ACTIONABLE: u32 = 1000;