percpu_channel_deq  385 drivers/hv/channel_mgmt.c 					 percpu_channel_deq, channel, true);
percpu_channel_deq  387 drivers/hv/channel_mgmt.c 		percpu_channel_deq(channel);
percpu_channel_deq  531 drivers/hv/channel_mgmt.c 					 percpu_channel_deq,
percpu_channel_deq  534 drivers/hv/channel_mgmt.c 		percpu_channel_deq(newchannel);