Constant MM_IPI 

pub const MM_IPI: u32 = 238u32;