Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/futex/pi.c fixup_pi_state_owner() -> __fixup_pi_state_owner()

Type Parameter Key Value
PARAM_VALUE 1 q 7813435272794112,6287657923781144576
PARAM_VALUE 1 q->key.both.offset 0-4097
PARAM_VALUE 1 q->list.prio s32min-100
PARAM_VALUE 1 q->lock_ptr 4096-ptr_max
PARAM_VALUE 1 q->pi_state 4096-ptr_max
PARAM_VALUE 1 q->pi_state->pi_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 q->pi_state->pi_mutex.wait_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 q->requeue_pi_key 0,2277097249293230080
PARAM_VALUE 1 q->rt_waiter 0,9173740585203314688
CAPPED_DATA 0 uaddr 1
DATA_SOURCE 0 uaddr $0
DATA_SOURCE 1 q $1
DATA_SOURCE 2 argowner $2
NOSPEC 1 q->key.both.offset
PREEMPT_ADD <- disables preempt
RX_PATH
USER_DATA 0 uaddr 0-u64max[c]
USER_DATA 1 q->key.both.offset 0-4097[c]
USER_DATA 1 q->key.private.address 0-u64max
LOCK2 &pi_state->pi_mutex.wait_lock
LOCK2 irq
HALF_LOCKED2 &hb->lock
TYPE_LOCK (struct rt_mutex_base)->wait_lock