/* __vxge_hw_channel_free - Free memory allocated for channel This function deallocates memory from the channel and various arrays in the channel  */
void __vxge_hw_channel_free(struct __vxge_hw_channel *channel)
/* __vxge_hw_channel_free - Free memory allocated for channel This function deallocates memory from the channel and various arrays in the channel  */
void __vxge_hw_channel_free(struct __vxge_hw_channel *channel)
{
	kfree(channel->work_arr);
	kfree(channel->free_arr);
	kfree(channel->reserve_arr);
	kfree(channel->orig_arr);
	kfree(channel);
}