IPCMxMSET          51 drivers/mailbox/pl320-ipc.c 	writel_relaxed(CHAN_MASK(source), ipc_base + IPCMxMSET(mbox));
IPCMxMSET         151 drivers/mailbox/pl320-ipc.c 		       ipc_base + IPCMxMSET(IPC_TX_MBOX));
IPCMxMSET         159 drivers/mailbox/pl320-ipc.c 		       ipc_base + IPCMxMSET(IPC_RX_MBOX));