esp_idf_sys

Constant CONFIG_OPENTHREAD_NETWORK_CHANNEL

Source 
pub const CONFIG_OPENTHREAD_NETWORK_CHANNEL: u32 = 15;