esp_idf_sys

Constant RISCV_PGSHIFT

Source 
pub const RISCV_PGSHIFT: u32 = 12;