Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

io_uring/futex.c io_futex_prep() -> futex_flags_valid()

Type Parameter Key Value
PARAM_VALUE 0 flags 0-2,16-18,128-130,144-146,512-514,528-530,640-642,656-658
DATA_SOURCE 0 flags r futex2_to_flags
LOCK2 &ctx->uring_lock
HALF_LOCKED2 &sqd->lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock

kernel/futex/syscalls.c __do_sys_futex_wait() -> futex_flags_valid()

Type Parameter Key Value
PARAM_VALUE 0 flags 0-2,16-18,128-130,144-146,512-514,528-530,640-642,656-658
DATA_SOURCE 0 flags r futex2_to_flags
USER_DATA 0 flags 0-2,16-18,128-130,144-146,512-514,528-530,640-642,656-658[c]

kernel/futex/syscalls.c __do_sys_futex_wait() -> futex_flags_valid()

Type Parameter Key Value
PARAM_VALUE 0 flags 0-2,16-18,128-130,144-146,512-514,528-530,640-642,656-658
DATA_SOURCE 0 flags r futex2_to_flags
USER_DATA 0 flags 0-2,16-18,128-130,144-146,512-514,528-530,640-642,656-658[c]

kernel/futex/syscalls.c __do_sys_futex_wake() -> futex_flags_valid()

Type Parameter Key Value
PARAM_VALUE 0 flags 0-2,16-18,128-130,144-146,512-514,528-530,640-642,656-658
DATA_SOURCE 0 flags r futex2_to_flags
USER_DATA 0 flags 0-2,16-18,128-130,144-146,512-514,528-530,640-642,656-658[c]

kernel/futex/syscalls.c __do_sys_futex_wake() -> futex_flags_valid()

Type Parameter Key Value
PARAM_VALUE 0 flags 0-2,16-18,128-130,144-146,512-514,528-530,640-642,656-658
DATA_SOURCE 0 flags r futex2_to_flags
USER_DATA 0 flags 0-2,16-18,128-130,144-146,512-514,528-530,640-642,656-658[c]

kernel/futex/syscalls.c futex_parse_waitv() -> futex_flags_valid()

Type Parameter Key Value
PARAM_VALUE 0 flags 0-2,16-18,128-130,144-146,512-514,528-530,640-642,656-658
DATA_SOURCE 0 flags r futex2_to_flags
USER_DATA 0 flags 0-2,16-18,128-130,144-146,512-514,528-530,640-642,656-658[c]
HALF_LOCKED2 &ctx->uring_lock