Constant mextk_sys::ASID_STOPCEIL

pub const ASID_STOPCEIL: u32 = 250;