Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/cxgb4/cm.c process_timedout_eps() -> process_timeout()

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

drivers/scsi/libsas/sas_scsi_host.c sas_task_abort() -> (struct timer_list)->function()

Type Parameter Key Value

kernel/time/timer.c call_timer_fn() -> call_timer_fn param 1()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->entry.next 16045481047390945570
PARAM_VALUE 0 ep->entry.pprev 0
PARAM_VALUE 0 ep->function 1-u64max
PARAM_VALUE 0 *ep->entry->next->pprev 1-u64max
CAPPED_DATA 0 ep 1
DATA_SOURCE 0 ep $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq