Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/ssb/pcmcia.c ssb_sprom_store() -> ssb_attr_sprom_store()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->bustype 2
PARAM_VALUE 0 bus->host_pcmcia 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 count 1-1000000000
PARAM_VALUE 3 sprom_check_crc 5565197617083371520
PARAM_VALUE 4 sprom_write 6402677046478376960
CAPPED_DATA 0 bus->host_pcmcia 1
CAPPED_DATA 2 count 1
CAPPED_DATA 2 count 1
DATA_SOURCE 0 bus r ssb_pcmcia_dev_to_bus
DATA_SOURCE 1 buf $2
DATA_SOURCE 2 count $3
NOSPEC 2 count
RX_PATH
TASK_NOT_RUNNING
ELEM_LAST 1 ==buf2 8052
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/ssb/pci.c ssb_sprom_store() -> ssb_attr_sprom_store()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->bustype 1
PARAM_VALUE 0 bus->host_pci 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 count 1-1000000000
PARAM_VALUE 3 sprom_check_crc 1755505922078572544
PARAM_VALUE 4 sprom_write 1070118016988057600
CAPPED_DATA 0 bus->host_pci 1
CAPPED_DATA 2 count 1
CAPPED_DATA 2 count 1
DATA_SOURCE 0 bus r ssb_pci_dev_to_bus
DATA_SOURCE 1 buf $2
DATA_SOURCE 2 count $3
NOSPEC 2 count
RX_PATH
TASK_NOT_RUNNING
ELEM_LAST 1 ==buf2 8052
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex