Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/futex/syscalls.c do_futex() -> futex_wake_op()

Type Parameter Key Value
PARAM_VALUE 1 flags 2,18,34,50,1026,1042,1058,1074,2050,2066,2082,2098,3074,3090,3106,3122
DATA_SOURCE 0 uaddr1 $0
DATA_SOURCE 1 flags r futex_to_flags
DATA_SOURCE 2 uaddr2 $4
DATA_SOURCE 3 nr_wake $2
DATA_SOURCE 4 nr_wake2 $5
DATA_SOURCE 5 op $6
BIT_INFO 1 flags 0x0,0xbff
USER_DATA 0 uaddr1 0-u64max
USER_DATA 2 uaddr2 0-u64max
USER_DATA 3 nr_wake s32min-s32max
USER_DATA 4 nr_wake2 s32min-s32max
USER_DATA 5 op s32min-s32max