Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/clocksource/em_sti.c em_sti_clocksource_resume() -> em_sti_clocksource_enable()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
PARAM_VALUE 0 cs->resume 1-u64max
DATA_SOURCE 0 cs $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &tick_freeze_lock
HALF_LOCKED2 irq

kernel/time/timekeeping.c change_clocksource() -> (struct clocksource)->enable()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
PARAM_VALUE 0 cs->enable 1-u64max
PARAM_VALUE 0 cs->owner 0,4096-ptr_max
PARAM_VALUE 0 cs->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 cs->owner->state 0-1,3-u32max
BUF_SIZE 0 cs (-1),4,8,24,32,4096
BUF_SIZE 0 cs (-1),4,8,24,32,4096
DATA_SOURCE 0 cs $0
CONTAINER 0 -120+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/time/timekeeping.c timekeeping_init() -> (struct clocksource)->enable()

Type Parameter Key Value
PARAM_VALUE 0 cs 6128933025919262720
PARAM_VALUE 0 cs->id 0-6
PARAM_VALUE 0 cs->list.prev 0,4096-ptr_max
PARAM_VALUE 0 cs->max_idle_ns 0-9223372036854775807
PARAM_VALUE 0 cs->max_raw_delta 0-16140901064495857661
PARAM_VALUE 0 cs->shift 8
PARAM_VALUE 0 cs->vdso_clock_mode 0-3
BUF_SIZE 0 cs 216
DATA_SOURCE 0 cs r clocksource_default_clock
CONTAINER 0 -120+0 $(-1)
NOCHECK_CALL
LOCK2 irq

kernel/time/clocksource.c clocksource_start_suspend_timing() -> (struct clocksource)->enable()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
PARAM_VALUE 0 cs->enable 1-u64max
CONTAINER 0 -120+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
HALF_LOCKED2 global &tick_freeze_lock
HALF_LOCKED2 irq