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_event()

Type Parameter Key Value
PARAM_VALUE 1 evt 4096-ptr_max
PARAM_VALUE 1 evt->min_delta_ns 0-9223372036854775806,9223372036854775808-u64max
PARAM_VALUE 1 evt->next_event 0-s64max
PARAM_VALUE 1 evt->state_use_accessors 0,2-u32max
BUF_SIZE 1 evt (-1)-0,256
BUF_SIZE 1 evt (-1)-0,256
BUF_SIZE 1 evt->cpumask (-1),1024
BUF_SIZE 1 evt->name s32min,(-10),(-1),1-s32max
CAPPED_DATA 1 evt->min_delta_ns 1
DATA_SOURCE 1 evt $0
STR_LEN 1 evt->name (-1),3,5,7,13-15,18-19
CONTAINER 1 -8+0 $(-1)
BIT_INFO 1 evt->features 0x0,0xffffff7f
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &clockevents_lock
HALF_LOCKED2 global &tick_broadcast_lock
HALF_LOCKED2 irq

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

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

kernel/time/clockevents.c clockevents_program_min_delta() -> (struct clock_event_device)->set_next_event()

Type Parameter Key Value
PARAM_VALUE 1 evt 4096-ptr_max
PARAM_VALUE 1 evt->next_event_forced 0
PARAM_VALUE 1 evt->state_use_accessors 0,2-u32max
BUF_SIZE 1 evt->cpumask (-1),1024
BUF_SIZE 1 evt->name s32min,(-10),(-1),1-s32max
DATA_SOURCE 1 evt $0
STR_LEN 1 evt->name (-1),3,5,7,13-15,18-19
CONTAINER 1 -8+0 $(-1)
BIT_INFO 1 evt->features 0x0,0xffffff7f
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &clockevents_lock
HALF_LOCKED2 global &tick_broadcast_lock
HALF_LOCKED2 irq