Symbol: __hal_device_event_queued
usr/src/uts/common/io/xge/hal/include/xgehal-device.h
402
__hal_device_event_queued(void *data, int event_type);
usr/src/uts/common/io/xge/hal/xgehal/xgehal-device.c
5194
__hal_device_event_queued, hldev);