Constant RISCV_PGLEVEL_BITS

pub const RISCV_PGLEVEL_BITS: u32 = 10;