Constant mextk_sys::ASID_JUMPS

pub const ASID_JUMPS: u32 = 1004;