Constant mextk_sys::ASID_REBIRTHWAIT

pub const ASID_REBIRTHWAIT: u32 = 13;