Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->cancel_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ctx->clist.next 4096-ptr_max
PARAM_VALUE 0 ctx->clist.next->prev 4096-ptr_max
PARAM_VALUE 0 ctx->clist.prev 8231391484007854080
PARAM_VALUE 0 ctx->clist.prev->prev 8231391484007854080
PARAM_VALUE 0 ctx->t.tmr.is_queued 0
PARAM_VALUE 0 ctx->wqh.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 flags 0-2
PARAM_VALUE 2 ktmr 3283092763034214400,8879171308843245568
PARAM_VALUE 2 ktmr->it_interval.tv_nsec 0-999999999
PARAM_VALUE 2 ktmr->it_interval.tv_sec 0-s64max
PARAM_VALUE 2 ktmr->it_value.tv_nsec 0-999999999
PARAM_VALUE 2 ktmr->it_value.tv_sec 0-s64max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
BUF_SIZE 0 ctx s32min-(-2),1-s32max
DATA_SOURCE 1 flags $1
DATA_SOURCE 2 ktmr $2
USER_DATA 1 flags 0-2
USER_DATA 2 ktmr->it_interval.tv_nsec 0-999999999
USER_DATA 2 ktmr->it_interval.tv_sec 0-s64max
USER_DATA 2 ktmr->it_value.tv_nsec 0-999999999
USER_DATA 2 ktmr->it_value.tv_sec 0-s64max
LOCK2 irq
LOCK2 0 &ctx->wqh.lock
TYPE_LOCK (struct wait_queue_head)->lock