.word IPCC1_RX_S_IRQHandler /* Mailbox 1 RX Occupied secure interrupt */ .word IPCC1_TX_S_IRQHandler /* Mailbox 1 TX Free secure interrupt */ .word IPCC2_RX ...