Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/posix-timers.c common_timer_del() -> (struct k_clock)->timer_try_to_cancel()

Type Parameter Key Value
PARAM_VALUE 0 timr 4096-ptr_max
PARAM_VALUE 0 timr->ignored_list->next->pprev 1-u64max
PARAM_VALUE 0 timr->ignored_list.next 0
PARAM_VALUE 0 timr->ignored_list.next->pprev 1-u64max
PARAM_VALUE 0 timr->ignored_list.pprev 0
PARAM_VALUE 0 timr->it_pid 0,4096-ptr_max
PARAM_VALUE 0 timr->it_process 0,4096-ptr_max
PARAM_VALUE 0 timr->kclock 4096-ptr_max
PARAM_VALUE 0 timr->kclock->timer_del 0,4096-ptr_max
PARAM_VALUE 0 timr->kclock->timer_wait_running 0,4096-ptr_max
PARAM_VALUE 0 timr->list->next->pprev 1-u64max
PARAM_VALUE 0 timr->sigq.ucounts 0,4096-ptr_max
PARAM_VALUE 0 timr->sigq.ucounts->ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 timr->sigq.ucounts->ns->work.entry.next->prev 4096-ptr_max
DATA_SOURCE 0 timr $0
BIT_INFO 0 timr->it_signal 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 timr->it_id 0-s32max[c]
HALF_LOCKED2 irq
HALF_LOCKED2 0 &timr->it_lock

kernel/time/posix-timers.c common_timer_set() -> (struct k_clock)->timer_try_to_cancel()

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
DATA_SOURCE 0 timr $0
USER_DATA 0 timr->it_id 0-s32max[c]
HALF_LOCKED2 irq