Constant mextk_sys::ASID_JUMPAERIALF

pub const ASID_JUMPAERIALF: u32 = 27;