Symbol: ixl_workqs_teardown
sys/dev/pci/if_ixl.c
1411
config_finalize_register(self, ixl_workqs_teardown);
sys/dev/pci/if_ixl.c
852
static int ixl_workqs_teardown(device_t);