esp_idf_sys

Constant PTE_D

Source 
pub const PTE_D: u32 = 128;