Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/leds/trigger/ledtrig-heartbeat.c heartbeat_trig_activate() -> led_heartbeat_function()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->entry.pprev 0
PARAM_VALUE 0 t->flags 0-4194302
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &led_cdev->trigger_lock
HALF_LOCKED2 &led_cdev->led_access
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &triggers_list_lock
TYPE_LOCK (struct led_classdev)->trigger_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 t 4096-ptr_max
PARAM_VALUE 0 t->entry.next 16045481047390945570
PARAM_VALUE 0 t->entry.pprev 0
PARAM_VALUE 0 t->function 1-u64max
PARAM_VALUE 0 *t->entry->next->pprev 1-u64max
CAPPED_DATA 0 t 1
DATA_SOURCE 0 t $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq