Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/nvidia/forcedeth.c nv_remove() -> nv_restore_mac_addr()

Type Parameter Key Value
PARAM_VALUE 0 pci_dev 4096-ptr_max
BUF_SIZE 0 pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 0 pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
CAPPED_DATA 0 pci_dev 1
DATA_SOURCE 0 pci_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pci_dev->current_state 0-3[c]
HALF_LOCKED2 0 &pci_dev->dev.mutex

drivers/net/ethernet/nvidia/forcedeth.c nv_shutdown() -> nv_restore_mac_addr()

Type Parameter Key Value
PARAM_VALUE 0 pci_dev 4096-ptr_max
DATA_SOURCE 0 pci_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
HALF_LOCKED2 &parent->mutex
HALF_LOCKED2 global &system_transition_mutex
TYPE_LOCK (struct device)->mutex