Constant esp_idf_sys::PTE_PPN_SHIFT

pub const PTE_PPN_SHIFT: u32 = 10;