esp_idf_sys

Constant PTE_X

Source 
pub const PTE_X: u32 = 8;