pub const MM_IPI_AT_WAVEOUT: u32 = 4u32;