Symbol: __hal_channel_free
usr/src/uts/common/io/xge/hal/include/xgehal-channel.h
429
void __hal_channel_free(xge_hal_channel_t *channel);
usr/src/uts/common/io/xge/hal/xgehal/xgehal-device.c
5509
__hal_channel_free(channel);