Constant mextk_sys::ASID_WAIT

pub const ASID_WAIT: u32 = 14;