Symbol: __hal_device_handle_txdma
usr/src/uts/common/io/xge/hal/include/xgehal-device.h
434
__hal_device_handle_txdma(xge_hal_device_t *hldev, u64 reason);
usr/src/uts/common/io/xge/hal/xgehal/xgehal-device-fp.c
217
status = __hal_device_handle_txdma(hldev, val64);