Cortex M85 Fast Model / TXEV & RXEV signals

Hello

I would like to know how the TXEV and RXEV signals for cortex M85 are implemented in fast models.

Indeed, in the hardware, the M85 executes a SEV instructions which generates a pulse on TXEV and sent to the RXEV of all other ARM processors.

Is it implemented the same way in the Fast Models ? Or are there any differences ?

Best regards

Frederic