GET_TX_CHANNEL_INFO  689 drivers/rpmsg/qcom_smd.c 	head = GET_TX_CHANNEL_INFO(channel, head);
GET_TX_CHANNEL_INFO  690 drivers/rpmsg/qcom_smd.c 	tail = GET_TX_CHANNEL_INFO(channel, tail);
GET_TX_CHANNEL_INFO  707 drivers/rpmsg/qcom_smd.c 	head = GET_TX_CHANNEL_INFO(channel, head);