Constant mextk_sys::ASID_DAMAGEHI1

pub const ASID_DAMAGEHI1: u32 = 75;