Constant esp_idf_sys::SATP64_PPN

pub const SATP64_PPN: u64 = 17592186044415;