IPCMxDSET          50 drivers/mailbox/pl320-ipc.c 	writel_relaxed(CHAN_MASK(source), ipc_base + IPCMxDSET(mbox));
IPCMxDSET         149 drivers/mailbox/pl320-ipc.c 		       ipc_base + IPCMxDSET(IPC_TX_MBOX));
IPCMxDSET         157 drivers/mailbox/pl320-ipc.c 		       ipc_base + IPCMxDSET(IPC_RX_MBOX));