Defined in 1 files as a prototype:

Referenced in 3 files:

Smatch caller information:

drivers/firewire/core-card.c allocate_broadcast_channel() -> fw_notice()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->broadcast_channel_allocated 0
PARAM_VALUE 0 card->irm_node 4096-ptr_max
PARAM_VALUE 0 card->local_node 4096-ptr_max
PARAM_VALUE 0 card->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 card->root_node 4096-ptr_max
PARAM_VALUE 1 fmt 3598061429088268288
BUF_SIZE 1 fmt 38
DATA_SOURCE 0 card $0
STR_LEN 0 card 37
TERMINATED 1 fmt 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/core-card.c bm_work() -> fw_notice()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->bm_retries s32min-5
PARAM_VALUE 0 card->irm_node 4096-ptr_max
PARAM_VALUE 0 card->local_node 4096-ptr_max
PARAM_VALUE 0 card->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 card->root_node 4096-ptr_max
PARAM_VALUE 1 fmt 3546465493482504192
PARAM_VALUE 2 $ 0-u16max
PARAM_VALUE 3 $ 0-255
BUF_SIZE 1 fmt 39
CAPPED_DATA 2 $ 1
CAPPED_DATA 3 $ 1
FUZZY_MAX 3 $ 63
STR_LEN 0 card 38
TERMINATED 1 fmt 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/core-card.c contend_for_bm() -> fw_notice()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->irm_node 4096-ptr_max
PARAM_VALUE 0 card->irm_node->link_on 0
PARAM_VALUE 0 card->local_node 4096-ptr_max
PARAM_VALUE 0 card->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 card->root_node 4096-ptr_max
PARAM_VALUE 1 fmt 7783306889392304128
PARAM_VALUE 2 $ 0-u16max
BUF_SIZE 1 fmt 49
DATA_SOURCE 0 card $0
STR_LEN 0 card 48
TERMINATED 1 fmt 1
PREEMPT_ADD
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &card->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct fw_card)->lock

drivers/firewire/core-card.c contend_for_bm() -> fw_notice()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->irm_node 4096-ptr_max
PARAM_VALUE 0 card->irm_node->link_on 1
PARAM_VALUE 0 card->local_node 4096-ptr_max
PARAM_VALUE 0 card->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 card->root_node 4096-ptr_max
PARAM_VALUE 1 fmt 5194459244718419968
PARAM_VALUE 2 $ 0-u16max
BUF_SIZE 1 fmt 59
DATA_SOURCE 0 card $0
STR_LEN 0 card 58
TERMINATED 1 fmt 1
PREEMPT_ADD
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &card->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct fw_card)->lock

drivers/firewire/core-card.c contend_for_bm() -> fw_notice()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->irm_node 4096-ptr_max
PARAM_VALUE 0 card->irm_node->link_on 1
PARAM_VALUE 0 card->local_node 4096-ptr_max
PARAM_VALUE 0 card->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 card->root_node 4096-ptr_max
PARAM_VALUE 0 card->transactions.current_tlabel 0-63
PARAM_VALUE 0 card->transactions.list.prev 4096-ptr_max
PARAM_VALUE 0 card->transactions.list.prev->next 4096-ptr_max
PARAM_VALUE 0 card->transactions.list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 fmt 3455941935518314496
PARAM_VALUE 2 $ 1-u64max
PARAM_VALUE 3 $ 0-u16max
BUF_SIZE 1 fmt 52
BUF_SIZE 2 $ (-1),8
DATA_SOURCE 0 card $0
STR_LEN 0 card 51
TERMINATED 1 fmt 1
PREEMPT_ADD
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &card->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct fw_card)->lock

drivers/firewire/core-transaction.c allocate_request() -> fw_notice()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 1 fmt 9132701427680096256
BUF_SIZE 1 fmt 51
DATA_SOURCE 0 card $0
STR_LEN 0 card 50
TERMINATED 1 fmt 1
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/core-transaction.c fw_core_handle_response() -> fw_notice()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 1 fmt 6283865526356471808
PARAM_VALUE 2 $ 0-u16max
PARAM_VALUE 3 $ 0-63
BUF_SIZE 1 fmt 45
CAPPED_DATA 0 &card->transactions.list 1
CAPPED_DATA 2 $ 1
CAPPED_DATA 3 $ 1
DATA_SOURCE 0 card $0
DATA_SOURCE 2 $ r async_header_get_source
DATA_SOURCE 3 $ r async_header_get_tlabel
STR_LEN 0 card 44
TERMINATED 1 fmt 1
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firewire/core-device.c fw_device_init() -> fw_notice()

Type Parameter Key Value
PARAM_VALUE 1 fmt 5684055089627885568
PARAM_VALUE 3 $ 1-u64max
BUF_SIZE 1 fmt 53
BUF_SIZE 3 $ (-1),8
STR_LEN 0 card 52
TERMINATED 1 fmt 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/core-device.c fw_device_init() -> fw_notice()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->device 4096-ptr_max
PARAM_VALUE 0 card->device->p 1-u64max
PARAM_VALUE 1 fmt 8462872356385665024
BUF_SIZE 1 fmt 24
BUF_SIZE 2 $ 1-s32max
STR_LEN 0 card 23
TERMINATED 1 fmt 1
NOCHECK_CALL
LOCK2 _T->lock
LOCK2 irq
LOCK2 0 &card->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct fw_card)->lock

drivers/firewire/core-device.c fw_device_init() -> fw_notice()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->device 0,4096-ptr_max
PARAM_VALUE 1 fmt 4532835207899303936
PARAM_VALUE 6 $ 0-s32max
BUF_SIZE 1 fmt 54
BUF_SIZE 2 $ 1-s32max
STR_LEN 0 card 53
TERMINATED 1 fmt 1
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 1 fmt 1748805369629126656
BUF_SIZE 1 fmt 21
BUF_SIZE 2 $ 1-s32max
STR_LEN 0 card 20
TERMINATED 1 fmt 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 1 fmt 8526358808966299648
PARAM_VALUE 3 $ 1-u64max
BUF_SIZE 1 fmt 39
BUF_SIZE 2 $ 1-s32max
BUF_SIZE 3 $ (-1),8
STR_LEN 0 card 38
TERMINATED 1 fmt 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock