Constant PMPADDR51

Source
pub const PMPADDR51: usize = 0x3E3;