esp_idf_svc::sys

Constant tskKERNEL_VERSION_MAJOR

Source 
pub const tskKERNEL_VERSION_MAJOR: u32 = 10; // 10u32