Constant mextk_sys::ASID_KINOKOSMALLSTART

pub const ASID_KINOKOSMALLSTART: u32 = 318;