Symbol: ixl_handle_queue_wk
sys/dev/pci/if_ixl.c
1296
rv = workqueue_create(&sc->sc_workq_txrx, xnamebuf, ixl_handle_queue_wk,
sys/dev/pci/if_ixl.c
806
static void ixl_handle_queue_wk(struct work *, void *);