Constant mextk_sys::ASID_WALKSLOW

pub const ASID_WALKSLOW: u32 = 15;