Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/ef100_netdev.c ef100_remove_netdev() -> ef100_unregister_netdev()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->devlink->lock.dep_map->name 0-255
PARAM_VALUE 0 efx->devlink->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 efx->devlink->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 efx->devlink->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 efx->net_dev 4096-ptr_max
PARAM_VALUE 0 efx->net_dev->close_list.next 7608961968850681856
PARAM_VALUE 0 efx->net_dev->close_list.prev 7608961968850681856
PARAM_VALUE 0 efx->net_dev->netdev_ops 4096-ptr_max
PARAM_VALUE 0 efx->type 4096-ptr_max
BUF_SIZE 0 efx 5888
CAPPED_DATA 0 &efx->netdev_notifier 1
CAPPED_DATA 0 &efx->netevent_notifier 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 efx->pci_dev->sriov->offset 0
HOST_DATA 0 efx->pci_dev->sriov->stride 0
HALF_LOCKED2 &dev->mutex