Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firewire/core-device.c fw_device_refresh() -> fw_device_cdev_update()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->card 4096-ptr_max
PARAM_VALUE 0 device->card->transactions.current_tlabel 0-63
PARAM_VALUE 0 device->card->transactions.list.prev 4096-ptr_max
PARAM_VALUE 0 device->card->transactions.list.prev->next 4096-ptr_max
PARAM_VALUE 0 device->card->transactions.list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 device->config_rom 1-u64max
PARAM_VALUE 0 device->config_rom_length 5-16777215
PARAM_VALUE 0 device->quirks 0-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/core-device.c fw_device_update() -> fw_device_cdev_update()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock