esp_idf_sys

Constant CONFIG_POST_EVENTS_FROM_ISR

Source 
pub const CONFIG_POST_EVENTS_FROM_ISR: u32 = 1;