Constant mextk_sys::ASID_TURNRUN

pub const ASID_TURNRUN: u32 = 19;