Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 13 files:

Smatch caller information:

ipc/namespace.c dec_ipc_namespaces() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 1 type 3
BUF_SIZE 0 ucounts (-1),184
BUF_SIZE 0 ucounts (-1),184
DATA_SOURCE 0 ucounts $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/core/net_namespace.c dec_net_namespaces() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 1 type 4
BUF_SIZE 0 ucounts (-1),184
BUF_SIZE 0 ucounts (-1),184
DATA_SOURCE 0 ucounts $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/cgroup/namespace.c dec_cgroup_namespaces() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 1 type 6
BUF_SIZE 0 ucounts (-1),184
BUF_SIZE 0 ucounts (-1),184
DATA_SOURCE 0 ucounts $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/notify/inotify/inotify_fsnotify.c dec_inotify_instances() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 0 ucounts 1-u64max
PARAM_VALUE 1 type 8
DATA_SOURCE 0 ucounts $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &nfsd_mutex

kernel/time/namespace.c dec_time_namespaces() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 1 type 7
BUF_SIZE 0 ucounts (-1),184
BUF_SIZE 0 ucounts (-1),184
DATA_SOURCE 0 ucounts $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/pid_namespace.c dec_pid_namespaces() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 1 type 1
BUF_SIZE 0 ucounts (-1),184
BUF_SIZE 0 ucounts (-1),184
DATA_SOURCE 0 ucounts $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/namespace.c dec_mnt_namespaces() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 1 type 5
BUF_SIZE 0 ucounts (-1),184
BUF_SIZE 0 ucounts (-1),184
DATA_SOURCE 0 ucounts $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/notify/fanotify/fanotify.c fanotify_free_group_priv() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 0 ucounts 1-u64max
PARAM_VALUE 1 type 10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &nfsd_mutex

fs/notify/fanotify/fanotify.c fanotify_freeing_mark() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 1 type 11
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &audit_cmd_mutex.lock

kernel/user_namespace.c dec_user_namespaces() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 1 type 0
BUF_SIZE 0 ucounts (-1),184
BUF_SIZE 0 ucounts (-1),184
DATA_SOURCE 0 ucounts $0
RX_PATH
TASK_NOT_RUNNING

fs/notify/inotify/inotify_user.c dec_inotify_watches() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 1 type 9
DATA_SOURCE 0 ucounts $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &group->mark_mutex

fs/notify/fanotify/fanotify_user.c fanotify_add_new_mark() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 0 ucounts 4096-ptr_max
PARAM_VALUE 1 type 11
NS_CAPABLE 0 21
NOCHECK_CALL
LOCK2 &group->mark_mutex
TYPE_LOCK (struct fsnotify_group)->mark_mutex

fs/binfmt_misc.c entry_attach_interpreter() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 0 ucounts 4096-ptr_max
PARAM_VALUE 0 ucounts->ucount 4096-ptr_max
PARAM_VALUE 1 type 12
BUF_SIZE 0 ucounts (-1),192
BUF_SIZE 0 ucounts (-1),192
DATA_SOURCE 0 ucounts r inc_ucount
NOCHECK_CALL
HALF_LOCKED2 &root->i_rwsem

fs/binfmt_misc.c entry_put_interpreters() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 1 type 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/utsname.c dec_uts_namespaces() -> dec_ucount()

Type Parameter Key Value
PARAM_VALUE 1 type 2
BUF_SIZE 0 ucounts (-1),184
BUF_SIZE 0 ucounts (-1),184
DATA_SOURCE 0 ucounts $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL