Constant mextk_sys::ASID_ATTACKHI4

pub const ASID_ATTACKHI4: u32 = 63;