Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/posix-cpu-timers.c do_cpu_nanosleep() -> posix_cpu_timer_set()

Type Parameter Key Value
PARAM_VALUE 0 timer 5249689906069270528
PARAM_VALUE 0 timer->it.cpu.nanosleep 1
PARAM_VALUE 0 timer->it.cpu.pid 4096-ptr_max
PARAM_VALUE 0 timer->it_overrun (-1)
PARAM_VALUE 0 timer->kclock 110471885893128192
PARAM_VALUE 2 new 3214628412952829952
PARAM_VALUE 3 old 0
DATA_SOURCE 1 timer_flags $1
MEM_ZERO 0 timer
MEM_ZERO 2 new
PREEMPT_ADD <- disables preempt
USER_DATA 0 timer->it_clock s32min-23
USER_DATA 1 timer_flags s32min-s32max
USER_DATA 2 new->it_value.tv_nsec 0-999999999
USER_DATA 2 new->it_value.tv_sec 0-s64max
LOCK2 &timer.it_lock
LOCK2 irq
TYPE_LOCK (struct k_itimer)->it_lock

kernel/time/posix-cpu-timers.c do_cpu_nanosleep() -> posix_cpu_timer_set()

Type Parameter Key Value
PARAM_VALUE 0 timer 5249689906069270528
PARAM_VALUE 0 timer->it.cpu.firing 0
PARAM_VALUE 0 timer->it.cpu.head 0
PARAM_VALUE 0 timer->it.cpu.nanosleep 1
PARAM_VALUE 0 timer->it.cpu.pid 4096-ptr_max
PARAM_VALUE 0 timer->it_overrun (-1)
PARAM_VALUE 0 timer->it_overrun_last 0
PARAM_VALUE 0 timer->it_status 0,2
PARAM_VALUE 0 timer->kclock 110471885893128192
PARAM_VALUE 1 timer_flags 0
PARAM_VALUE 2 new 9221454273694728192
PARAM_VALUE 3 old 3214628412952829952
MEM_ZERO 0 timer
MEM_ZERO 3 old
PREEMPT_ADD <- disables preempt
USER_DATA 0 timer->it_clock s32min-23
USER_DATA 3 old->it_value.tv_nsec 0-999999999
USER_DATA 3 old->it_value.tv_sec 0-s64max
LOCK2 &timer.it_lock
LOCK2 irq
TYPE_LOCK (struct k_itimer)->it_lock

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

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