Constant PMPADDR55 

pub const PMPADDR55: usize = 0x3E7;