Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/futex/core.c handle_futex_death() -> fault_in_user_writeable()

Type Parameter Key Value
DATA_SOURCE 0 uaddr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &curr->futex.exit_mutex
TYPE_LOCK (struct futex_sched_data)->exit_mutex

kernel/futex/waitwake.c futex_wake_op() -> fault_in_user_writeable()

Type Parameter Key Value
CAPPED_DATA 0 uaddr 1
DATA_SOURCE 0 uaddr $2
RX_PATH
USER_DATA 0 uaddr 0-u64max[c]

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

Type Parameter Key Value
DATA_SOURCE 0 uaddr $0
RX_PATH
USER_DATA 0 uaddr 0-u64max[c]
LOCK2 &pi_state->pi_mutex.wait_lock
HALF_LOCKED2 &hb->lock

kernel/futex/pi.c __futex_unlock_pi() -> fault_in_user_writeable()

Type Parameter Key Value
CAPPED_DATA 0 uaddr 1
DATA_SOURCE 0 uaddr $0
RX_PATH
USER_DATA 0 uaddr 0-u64max[c]

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

Type Parameter Key Value
CAPPED_DATA 0 uaddr 1
DATA_SOURCE 0 uaddr $0
RX_PATH
USER_DATA 0 uaddr 0-u64max[c]

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

Type Parameter Key Value
CAPPED_DATA 0 uaddr 1
DATA_SOURCE 0 uaddr $2
RX_PATH
USER_DATA 0 uaddr 0-u64max[c]