Constant mextk_sys::ASID_LIFTWALK1

pub const ASID_LIFTWALK1: u32 = 175;