Constant mextk_sys::ASID_CATCHWAIT

pub const ASID_CATCHWAIT: u32 = 216;