Constant SystemReg_REG_IPI_SR 

pub const SystemReg_REG_IPI_SR: SystemReg = 61321;