Constant mextk_sys::ASID_BATSWING3

pub const ASID_BATSWING3: u32 = 125;