esp_idf_sys

Constant IRQ_COP

Source 
pub const IRQ_COP: u32 = 12;