TI C2000 Microcontroller Slow IPC-Transmission of an int32 with just 1kHz

I tried to send an int32 via IPC transmit from the C28x CPU to the ARM M4-Cortex every 100 microseconds (10kHz clock-frequency) by using an EPWM-block and an EPWM-Hardware-Interrupt. Unfortunately, the IPC transmission only works fine until clock-frequencies of 1kHz (every 1 milliseconds). For higher clock-frequencys, the IPC-tranmission shuts down. Even by using the IPC-Receive on polling instead of using an IPC-Hardware-Interrupt, frequencies higher than 1kHz cannot be reached. In my understanding, the transmission should only be limited by the reading&writing speed of the Message-RAM (which must be at least 1MHz for an int32).

Could somebody assist how to increase the performance of the IPC transmission? Thanks in advance!

Kind regards!