Constant mextk_sys::ASID_CAPTUREPULLEDHI

pub const ASID_CAPTUREPULLEDHI: u32 = 223;