Constant MM_IPI

pub const MM_IPI: u32 = 238u32;