Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/select.c __do_sys_select() -> kern_select()

Type Parameter Key Value
DATA_SOURCE 0 n $0
DATA_SOURCE 1 inp $1
DATA_SOURCE 2 outp $2
DATA_SOURCE 3 exp $3
DATA_SOURCE 4 tvp $4
USER_DATA 0 n s32min-s32max
USER_DATA 1 inp 0-u64max
USER_DATA 2 outp 0-u64max
USER_DATA 3 exp 0-u64max
USER_DATA 4 tvp 0-u64max

fs/select.c __do_sys_select() -> kern_select()

Type Parameter Key Value
DATA_SOURCE 0 n $0
DATA_SOURCE 1 inp $1
DATA_SOURCE 2 outp $2
DATA_SOURCE 3 exp $3
DATA_SOURCE 4 tvp $4
USER_DATA 0 n s32min-s32max
USER_DATA 1 inp 0-u64max
USER_DATA 2 outp 0-u64max
USER_DATA 3 exp 0-u64max
USER_DATA 4 tvp 0-u64max