Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 fdt 4096-ptr_max
PARAM_VALUE 0 fdt->close_on_exec 4096-ptr_max
PARAM_VALUE 0 fdt->fd 16,4096-ptr_max
PARAM_VALUE 0 fdt->max_fds 0-1048576
PARAM_VALUE 0 fdt->open_fds 16,4096-ptr_max
BUF_SIZE 0 fdt 56
CAPPED_DATA 0 fdt->max_fds 1
DATA_SOURCE 0 fdt r alloc_fdtable
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 fdt->max_fds

fs/file.c free_fdtable_rcu() -> __free_fdtable()

Type Parameter Key Value
PARAM_VALUE 0 fdt 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

fs/file.c put_files_struct() -> __free_fdtable()

Type Parameter Key Value
PARAM_VALUE 0 fdt 4096-ptr_max
CAPPED_DATA 0 fdt->max_fds 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL