Constant mextk_sys::ASID_DAMAGEHI3

pub const ASID_DAMAGEHI3: u32 = 77;