Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/timerfd.c do_timerfd_settime() -> alarm_forward_now()

Type Parameter Key Value
PARAM_VALUE 0 alarm 4096-ptr_max
PARAM_VALUE 0 alarm->state 0,2-2147483646
PARAM_VALUE 1 interval s64min-(-1),1-s64max
CAPABLE 0 35
NOCHECK_CALL
LOCK2 &ctx->wqh.lock
LOCK2 irq
TYPE_LOCK (struct wait_queue_head)->lock

fs/timerfd.c timerfd_alarm_restart() -> alarm_forward_now()

Type Parameter Key Value
PARAM_VALUE 1 interval s64min-(-1),1-s64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ctx->wqh.lock
LOCK2 irq
TYPE_LOCK (struct wait_queue_head)->lock

kernel/time/alarmtimer.c alarm_timer_rearm() -> alarm_forward_now()

Type Parameter Key Value
PARAM_VALUE 1 interval s64min-(-1),1-s64max
BUF_SIZE 0 alarm 136
RX_PATH
TASK_NOT_RUNNING
LOCK2 &timr->it_lock
LOCK2 irq
HALF_LOCKED2 &sighand->siglock
HALF_LOCKED2 &task->sighand->siglock
HALF_LOCKED2 &tsk->sighand->siglock
TYPE_LOCK (struct k_itimer)->it_lock