Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/firewire/ohci.c handle_ar_packet() -> fw_core_handle_request()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 1 p 1685819076650704896
PARAM_VALUE 1 p->ack (-16)-15
PARAM_VALUE 1 p->header_length 12,16
PARAM_VALUE 1 p->payload_length 0-4096
PARAM_VALUE 1 p->speed 0-7
PARAM_VALUE 1 p->timestamp 0-u16max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/ohci.c handle_local_request() -> fw_core_handle_request()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 1 p 4096-ptr_max
PARAM_VALUE 1 p->ack 2
PARAM_VALUE 1 p->header_length 4,12,16
PARAM_VALUE 1 p->timestamp 0-u16max
CAPPED_DATA 1 p->generation 1
DATA_SOURCE 1 p $1
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 p->payload_length 0-3999632[c]
USER_DATA 1 p->speed 1-s32max[c]