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