Constant mextk_sys::ASID_WALKMIDDLE

pub const ASID_WALKMIDDLE: u32 = 16;