Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/futex/core.c class_hbr_destructor() -> futex_private_hash_put()

Type Parameter Key Value
PARAM_VALUE 0 fph 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &curr->futex.exit_mutex
HALF_LOCKED2 &curr->pi_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct futex_sched_data)->exit_mutex

kernel/futex/core.c class_private_hash_destructor() -> futex_private_hash_put()

Type Parameter Key Value
BUF_SIZE 0 fph 0
BIT_INFO 0 fph 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &curr->futex.exit_mutex
TYPE_LOCK (struct futex_sched_data)->exit_mutex

kernel/futex/waitwake.c class_hbr_destructor() -> futex_private_hash_put()

Type Parameter Key Value
PARAM_VALUE 0 fph 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/futex/waitwake.c class_private_hash_destructor() -> futex_private_hash_put()

Type Parameter Key Value
BIT_INFO 0 fph 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/futex/pi.c class_hbr_destructor() -> futex_private_hash_put()

Type Parameter Key Value
PARAM_VALUE 0 fph 1-u64max
RX_PATH
NOCHECK_CALL

kernel/futex/pi.c futex_lock_pi() -> futex_private_hash_put()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
NOCHECK_CALL
LOCK2 &hb->lock
TYPE_LOCK (struct futex_hash_bucket)->lock

kernel/futex/pi.c futex_lock_pi() -> futex_private_hash_put()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
NOCHECK_CALL
LOCK2 &hb->lock
TYPE_LOCK (struct futex_hash_bucket)->lock

kernel/futex/requeue.c class_hbr_destructor() -> futex_private_hash_put()

Type Parameter Key Value
PARAM_VALUE 0 fph 1-u64max
RX_PATH
NOCHECK_CALL

kernel/futex/requeue.c futex_wait_requeue_pi() -> futex_private_hash_put()

Type Parameter Key Value
RX_PATH
NOCHECK_CALL