esp_idf_sys

Constant RISCV_PGSIZE

Source 
pub const RISCV_PGSIZE: u32 = 4096;