Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/clockevents.c clockevents_program_event() -> clockevent_set_next_coupled()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->next_event 0-s64max
PARAM_VALUE 0 dev->state_use_accessors 0,2-u32max
PARAM_VALUE 1 expires 0-s64max
BUF_SIZE 0 dev (-1)-0,256
BUF_SIZE 0 dev (-1)-0,256
BUF_SIZE 0 dev->cpumask (-1),1024
BUF_SIZE 0 dev->name s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 expires $1
STR_LEN 0 dev->name (-1),3,5,7,13-15,18-19
BIT_INFO 0 dev->features 0x0,0xffffff7f
RX_PATH
TASK_NOT_RUNNING
UNITS 1 expires unit_array_size
HALF_LOCKED2 flags
HALF_LOCKED2 global &clockevents_lock
HALF_LOCKED2 global &tick_broadcast_lock
HALF_LOCKED2 irq