Constant mextk_sys::ASID_WALKFAST

pub const ASID_WALKFAST: u32 = 17;