Constant mextk_sys::ASID_HAMMERJUMP

pub const ASID_HAMMERJUMP: u32 = 312;