SET_TX_CHANNEL_INFO  392 drivers/rpmsg/qcom_smd.c 	SET_TX_CHANNEL_INFO(channel, state, SMD_CHANNEL_CLOSED);
SET_TX_CHANNEL_INFO  401 drivers/rpmsg/qcom_smd.c 	SET_TX_CHANNEL_INFO(channel, head, 0);
SET_TX_CHANNEL_INFO  456 drivers/rpmsg/qcom_smd.c 	SET_TX_CHANNEL_INFO(channel, state, state);
SET_TX_CHANNEL_INFO  726 drivers/rpmsg/qcom_smd.c 	SET_TX_CHANNEL_INFO(channel, head, head);