Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/clocksource/bcm_kona_timer.c kona_timer_init() -> kona_timer_set_next_event()

Type Parameter Key Value
PARAM_VALUE 0 clc 0-u32max
PARAM_VALUE 1 unused 0
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 unused 4096-ptr_max
PARAM_VALUE 1 unused->min_delta_ns 0-9223372036854775806,9223372036854775808-u64max
PARAM_VALUE 1 unused->next_event 0-s64max
PARAM_VALUE 1 unused->state_use_accessors 0,2-u32max
BUF_SIZE 1 unused (-1)-0,256
BUF_SIZE 1 unused (-1)-0,256
BUF_SIZE 1 unused->cpumask (-1),1024
BUF_SIZE 1 unused->name s32min,(-10),(-1),1-s32max
CAPPED_DATA 1 unused->min_delta_ns 1
DATA_SOURCE 1 unused $0
STR_LEN 1 unused->name (-1),3,5,7,13-15,18-19
CONTAINER 1 -8+0 $(-1)
BIT_INFO 1 unused->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 unused 4096-ptr_max
PARAM_VALUE 1 unused->next_event 0-s64max
PARAM_VALUE 1 unused->next_event_forced 0
PARAM_VALUE 1 unused->state_use_accessors 0,2-u32max
BUF_SIZE 1 unused (-1)-0,256
BUF_SIZE 1 unused (-1)-0,256
BUF_SIZE 1 unused->cpumask (-1),1024
BUF_SIZE 1 unused->name s32min,(-10),(-1),1-s32max
DATA_SOURCE 1 unused $0
STR_LEN 1 unused->name (-1),3,5,7,13-15,18-19
CONTAINER 0 *(-8+152) $(-1)
CONTAINER 1 -8+0 $(-1)
BIT_INFO 1 unused->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 unused 4096-ptr_max
PARAM_VALUE 1 unused->next_event_forced 0
PARAM_VALUE 1 unused->state_use_accessors 0,2-u32max
BUF_SIZE 1 unused->cpumask (-1),1024
BUF_SIZE 1 unused->name s32min,(-10),(-1),1-s32max
DATA_SOURCE 1 unused $0
STR_LEN 1 unused->name (-1),3,5,7,13-15,18-19
CONTAINER 1 -8+0 $(-1)
BIT_INFO 1 unused->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