Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firewire/ohci.c ar_search_last_active_buffer() -> ar_context_abort()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->descriptors 4096-ptr_max
PARAM_VALUE 0 ctx->pointer 1-u64max
PARAM_VALUE 1 error_msg 3261774600985174016
BUF_SIZE 1 error_msg 21
DATA_SOURCE 0 ctx $0
STR_LEN 0 ctx 20
TERMINATED 1 error_msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->pointer 1-u64max
PARAM_VALUE 1 error_msg 7227349957098622976
BUF_SIZE 1 error_msg 22
CAPPED_DATA 0 ctx 1
DATA_SOURCE 0 ctx $0
STR_LEN 0 ctx 21
TERMINATED 1 error_msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->pointer 1-u64max
PARAM_VALUE 1 error_msg 8195921220545761280
BUF_SIZE 1 error_msg 14
CAPPED_DATA 0 ctx 1
DATA_SOURCE 0 ctx $0
STR_LEN 0 ctx 13
TERMINATED 1 error_msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/ohci.c ohci_ar_context_work() -> ar_context_abort()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->ohci->card.done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 ctx->ohci->request_generation 0-255
PARAM_VALUE 0 ctx->pointer 1-u64max
PARAM_VALUE 1 error_msg 5122052982168788992
BUF_SIZE 1 error_msg 24
STR_LEN 0 ctx 23
TERMINATED 1 error_msg 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock