Symbol: IPCMxDSET
drivers/mailbox/pl320-ipc.c
137
ipc_base + IPCMxDSET(IPC_TX_MBOX));
drivers/mailbox/pl320-ipc.c
145
ipc_base + IPCMxDSET(IPC_RX_MBOX));