Constant esp_idf_sys::RISCV_PGSHIFT

pub const RISCV_PGSHIFT: u32 = 12;