esp_idf_sys

Constant PTE_PPN_SHIFT

Source 
pub const PTE_PPN_SHIFT: u32 = 10;