Constant tskKERNEL_VERSION_MAJOR 

pub const tskKERNEL_VERSION_MAJOR: u32 = 10;