IPCMxSEND          65 drivers/mailbox/pl320-ipc.c 	writel_relaxed(0x1, ipc_base + IPCMxSEND(mbox));
IPCMxSEND         106 drivers/mailbox/pl320-ipc.c 		writel_relaxed(0, ipc_base + IPCMxSEND(IPC_TX_MBOX));
IPCMxSEND         112 drivers/mailbox/pl320-ipc.c 		writel_relaxed(2, ipc_base + IPCMxSEND(IPC_RX_MBOX));
IPCMxSEND         138 drivers/mailbox/pl320-ipc.c 	writel_relaxed(0, ipc_base + IPCMxSEND(IPC_TX_MBOX));