Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/clockevents.c clockevents_program_event() -> (struct clock_event_device)->set_next_ktime()

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