Constant mextk_sys::ASID_HAMMERWAIT

pub const ASID_HAMMERWAIT: u32 = 307;