Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/futex/core.c get_futex_key() -> should_fail_futex()

Type Parameter Key Value
BIT_INFO 0 fshared 0x0,0x0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fshared 0-1[c]

kernel/futex/core.c get_futex_key() -> should_fail_futex()

Type Parameter Key Value
PARAM_VALUE 0 fshared 1
RX_PATH
TASK_NOT_RUNNING

kernel/futex/core.c get_futex_key() -> should_fail_futex()

Type Parameter Key Value
PARAM_VALUE 0 fshared 1
RX_PATH
TASK_NOT_RUNNING

kernel/futex/pi.c futex_lock_pi_atomic() -> should_fail_futex()

Type Parameter Key Value
PARAM_VALUE 0 fshared 1
PREEMPT_ADD
RX_PATH
HALF_LOCKED2 &hb->lock

kernel/futex/pi.c futex_lock_pi_atomic() -> should_fail_futex()

Type Parameter Key Value
PARAM_VALUE 0 fshared 1
PREEMPT_ADD
RX_PATH
HALF_LOCKED2 &hb->lock

kernel/futex/pi.c lock_pi_update_atomic() -> should_fail_futex()

Type Parameter Key Value
PARAM_VALUE 0 fshared 1
PREEMPT_ADD
RX_PATH
HALF_LOCKED2 &hb->lock

kernel/futex/pi.c wake_futex_pi() -> should_fail_futex()

Type Parameter Key Value
PARAM_VALUE 0 fshared 1
RX_PATH
LOCK2 &pi_state->pi_mutex.wait_lock
LOCK2 irq
TYPE_LOCK (struct rt_mutex_base)->wait_lock

kernel/futex/syscalls.c __do_sys_futex() -> should_fail_futex()

Type Parameter Key Value
USER_DATA 0 fshared 0-1

kernel/futex/syscalls.c __do_sys_futex() -> should_fail_futex()

Type Parameter Key Value
USER_DATA 0 fshared 0-1

kernel/futex/requeue.c futex_proxy_trylock_atomic() -> should_fail_futex()

Type Parameter Key Value
PARAM_VALUE 0 fshared 1
RX_PATH