Constant mextk_sys::ASID_HAMMERWALK

pub const ASID_HAMMERWALK: u32 = 308;