Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/clocksource.c __clocksource_register_scale() -> clocksource_enqueue()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
PARAM_VALUE 0 cs->id 0-6
PARAM_VALUE 0 cs->max_idle_ns 0-9223372036854775807
PARAM_VALUE 0 cs->max_raw_delta 0-16140901064495857661
PARAM_VALUE 0 cs->shift 0-32
PARAM_VALUE 0 cs->vdso_clock_mode 0-3
BUF_SIZE 0 cs (-1),216
BUF_SIZE 0 cs (-1),216
BUF_SIZE 0 cs->name s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 cs $0
FUZZY_MAX 0 cs->id 0
FUZZY_MAX 0 cs->vdso_clock_mode 0
STR_LEN 0 cs->name (-1),11,13
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 cs->maxadj
NO_OVERFLOW_SIMPLE 0 cs->mult
LOCK2 flags
LOCK2 global &clocksource_mutex
LOCK2 global &watchdog_lock
HALF_LOCKED2 global &stm_instances_lock
HALF_LOCKED2 irq

kernel/time/clocksource.c clocksource_change_rating() -> clocksource_enqueue()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
PARAM_VALUE 0 cs->flags 64-u64max
PARAM_VALUE 0 cs->rating 0
DATA_SOURCE 0 cs $0
BIT_INFO 0 cs->flags 0x40,0xffffffffffffffff
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags
LOCK2 global &clocksource_mutex
LOCK2 global &watchdog_lock