Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/futex/requeue.c futex_requeue() -> requeue_futex()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->drop_fph 0
PARAM_VALUE 0 q->key.both.offset 0-4097
PARAM_VALUE 0 q->pi_state 0
PARAM_VALUE 0 q->requeue_pi_key 0,2277097249293230080
PARAM_VALUE 0 q->rt_waiter 0
PARAM_VALUE 0 q->task->sched_class->pick_task 0,71,431140902756892672,1158575681758597120,5720692379550740480,7102393387566546944,7601726578106748928
PARAM_VALUE 1 hb1->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 hb2 4096-ptr_max
PARAM_VALUE 3 key2 3941447340228022272
PARAM_VALUE 3 key2->both.offset 0-4097
CAPPED_DATA 0 q->key.both.offset 1
CAPPED_DATA 0 q->key.both.ptr 1
CAPPED_DATA 0 q->key.both.word 1
CAPPED_DATA 0 &q->list.node_list 1
CAPPED_DATA 1 hb1 1
RX_PATH
NOCHECK_CALL
USER_DATA 3 key2->both.offset 0-4097[c]
USER_DATA 3 key2->private.address 0-u64max

kernel/futex/requeue.c futex_requeue() -> requeue_futex()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->drop_fph 0
PARAM_VALUE 0 q->key.both.offset 0-4097
PARAM_VALUE 0 q->pi_state 4096-ptr_max
PARAM_VALUE 0 q->requeue_pi_key 2277097249293230080
PARAM_VALUE 0 q->requeue_pi_key->both.offset 0-4097
PARAM_VALUE 0 q->rt_waiter 9173740585203314688
PARAM_VALUE 0 q->rt_waiter->lock->wait_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 q->rt_waiter->task->pi_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 q->task 0,2-u64max
PARAM_VALUE 0 q->task->pi_blocked_on 1423252197386153984,9173740585203314688
PARAM_VALUE 0 q->task->pi_blocked_on->tree.entry.__rb_parent_color 1
PARAM_VALUE 0 q->task->pi_blocked_on->tree.entry.rb_left 4096-ptr_max
PARAM_VALUE 0 q->task->pi_blocked_on->tree.entry.rb_right 4096-ptr_max
PARAM_VALUE 0 q->task->pi_lock.dep_map->name 0-255
PARAM_VALUE 0 q->task->pi_lock.owner (-1)
PARAM_VALUE 0 q->task->pi_lock.owner_cpu u32max
PARAM_VALUE 0 q->task->sched_class->pick_task 0,71,431140902756892672,1158575681758597120,5720692379550740480
PARAM_VALUE 1 hb1->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 hb2 4096-ptr_max
PARAM_VALUE 3 key2 3941447340228022272
PARAM_VALUE 3 key2->both.offset 0-4097
CAPPED_DATA 0 q->key.both.offset 1
CAPPED_DATA 0 q->key.both.ptr 1
CAPPED_DATA 0 q->key.both.word 1
CAPPED_DATA 0 q->requeue_pi_key->both.offset 1
CAPPED_DATA 0 q->requeue_pi_key->both.ptr 1
CAPPED_DATA 0 q->requeue_pi_key->both.word 1
CAPPED_DATA 0 q->task 1
CAPPED_DATA 0 &q->list.node_list 1
CAPPED_DATA 1 hb1 1
NOSPEC 3 key2->both.offset
RX_PATH
NOCHECK_CALL
USER_DATA 3 key2->both.offset 0-4097[c]
USER_DATA 3 key2->private.address 0-u64max