pl320_ipc_transmit
return pl320_ipc_transmit(msg);
EXPORT_SYMBOL_GPL(pl320_ipc_transmit);
int pl320_ipc_transmit(u32 *data);