Symbol: IPCMxSOURCE
drivers/mailbox/pl320-ipc.c
135
ipc_base + IPCMxSOURCE(IPC_TX_MBOX));
drivers/mailbox/pl320-ipc.c
143
ipc_base + IPCMxSOURCE(IPC_RX_MBOX));