Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/time/posix-timers.c do_timer_settime() -> (struct k_clock)->timer_set()

Type Parameter Key Value
PARAM_VALUE 0 timr 4096-ptr_max
PARAM_VALUE 0 timr->it_id 0-s32max
PARAM_VALUE 0 timr->kclock 4096-ptr_max
PARAM_VALUE 2 new_setting 71585759839850496,6929838691778711552
PARAM_VALUE 2 new_setting->it_interval.tv_nsec 0-999999999
PARAM_VALUE 2 new_setting->it_interval.tv_sec 0-s64max
PARAM_VALUE 2 new_setting->it_value.tv_nsec 0-999999999
PARAM_VALUE 2 new_setting->it_value.tv_sec 0-s64max
PARAM_VALUE 3 old_setting 0,1106317196597465088,5883472061765767168
BUF_SIZE 3 old_setting 0,32
BUF_SIZE 3 old_setting 0,32
DATA_SOURCE 1 flags $1
DATA_SOURCE 2 new_setting $2
DATA_SOURCE 3 old_setting $3
CONTAINER 0 -56-56+0 $(-1)
BIT_INFO 3 old_setting 0x0,0x5ffe6fabff7bd000
BIT_INFO 3 old_setting 0x0,0x5ffe6fabff7bd000
USER_DATA 0 timr->it_id 0-s32max[c]
USER_DATA 1 flags s32min-s32max
USER_DATA 2 new_setting->it_interval.tv_nsec 0-999999999
USER_DATA 2 new_setting->it_interval.tv_sec 0-s64max
USER_DATA 2 new_setting->it_value.tv_nsec 0-999999999
USER_DATA 2 new_setting->it_value.tv_sec 0-s64max
HALF_LOCKED2 irq