Constant mextk_sys::ASID_HEAVYGET

pub const ASID_HEAVYGET: u32 = 93;