Constant RISCV_PGLEVEL_BITS 

pub const RISCV_PGLEVEL_BITS: u32 = 10;