Constant __API_TO_BE_DEPRECATED_KERNELKIT 

pub const __API_TO_BE_DEPRECATED_KERNELKIT: u32 = 100000;