Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/file.c copy_fdtable() -> copy_fd_bitmaps()

Type Parameter Key Value
PARAM_VALUE 0 nfdt 4096-ptr_max
PARAM_VALUE 0 nfdt->close_on_exec 4096-ptr_max
PARAM_VALUE 0 nfdt->fd 16,4096-ptr_max
PARAM_VALUE 0 nfdt->max_fds 0-1048576
PARAM_VALUE 0 nfdt->open_fds 16,4096-ptr_max
PARAM_VALUE 1 ofdt 4096-ptr_max
PARAM_VALUE 1 ofdt->max_fds 0-1048575
PARAM_VALUE 2 copy_words 0-16383
BUF_SIZE 0 nfdt 56
CAPPED_DATA 1 ofdt->max_fds 1
CAPPED_DATA 2 copy_words 1
DATA_SOURCE 0 nfdt $0
DATA_SOURCE 1 ofdt $1
PARAM_COMPARE 0 nfdt->max_fds >= $1->max_fds
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 nfdt->max_fds
LOCK2 &files->file_lock
TYPE_LOCK (struct files_struct)->file_lock

fs/file.c dup_fd() -> copy_fd_bitmaps()

Type Parameter Key Value
PARAM_VALUE 0 nfdt 4096-ptr_max
PARAM_VALUE 0 nfdt->fd 16,4096-ptr_max
PARAM_VALUE 0 nfdt->max_fds 0-1048576
PARAM_VALUE 1 ofdt 4096-ptr_max
PARAM_VALUE 2 copy_words 0-16384
BUF_SIZE 0 nfdt 56
BUF_SIZE 0 nfdt->close_on_exec (-1),8
BUF_SIZE 0 nfdt->fd (-1),512
BUF_SIZE 0 nfdt->full_fds_bits (-1),8
BUF_SIZE 0 nfdt->open_fds (-1),8
CAPPED_DATA 2 copy_words 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 copy_words 0-16384[c]
NO_OVERFLOW_SIMPLE 0 nfdt->max_fds
UNITS 2 copy_words unit_long
LOCK2 &oldf->file_lock
TYPE_LOCK (struct files_struct)->file_lock