Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firewire/ohci.c at_context_queue_packet() -> context_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->ohci 4096-ptr_max
PARAM_VALUE 0 ctx->running 0
PARAM_VALUE 1 extra 0
BUF_SIZE 0 ctx 80
PREEMPT_ADD
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ohci->lock
LOCK2 flags
TYPE_LOCK (struct fw_ohci)->lock

drivers/firewire/ohci.c ohci_start_iso() -> context_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->last 4096-ptr_max
PARAM_VALUE 0 ctx->ohci 4096-ptr_max
PARAM_VALUE 1 extra 0,2147483648,2147549184-4294901760
FUZZY_MAX 1 extra 0
BIT_INFO 1 extra 0x0,0xffff0000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 extra 2147483648,2147549184-4294901760[c]

drivers/firewire/ohci.c ohci_start_iso() -> context_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->last 4096-ptr_max
PARAM_VALUE 0 ctx->ohci 4096-ptr_max
PARAM_VALUE 1 extra 1073741824,1610612736,3489660928,4026531840
FUZZY_MAX 1 extra 1073741824
BIT_INFO 1 extra 0x40000000,0xf0000000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL