Constant mextk_sys::ASID_JUMPAERIALB

pub const ASID_JUMPAERIALB: u32 = 28;