Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/file.c __get_unused_fd_flags() -> alloc_fd()

Type Parameter Key Value
PARAM_VALUE 0 start 0
DATA_SOURCE 1 end $1
DATA_SOURCE 2 flags $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 flags 0-u32max

fs/file.c f_dupfd() -> alloc_fd()

Type Parameter Key Value
PARAM_VALUE 2 flags 0,524288
CAPPED_DATA 0 start 1
DATA_SOURCE 0 start $0
DATA_SOURCE 1 end r rlimit
DATA_SOURCE 2 flags $2
PARAM_COMPARE 0 start < $1
PARAM_COMPARE 1 end > $0
HARD_MAX 2 flags 524288
USER_DATA 0 start 0-s32max[c]