vmbus_send_modifychannel
EXPORT_SYMBOL_GPL(vmbus_send_modifychannel);
TRACE_EVENT(vmbus_send_modifychannel,
if (vmbus_send_modifychannel(channel,
int vmbus_send_modifychannel(struct vmbus_channel *channel, u32 target_vp);