esp_idf_sys

Constant STK_INTEXC_EXTRA

Source 
pub const STK_INTEXC_EXTRA: u32 = 0;