pub const MM_IPI_ACM_HSX: u32 = 1u32;