Constant mextk_sys::ASID_CAPTUREDAMAGEHI

pub const ASID_CAPTUREDAMAGEHI: u32 = 225;