Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/ucount.c dec_ucount() -> put_ucounts()

Type Parameter Key Value
BUF_SIZE 0 ucounts (-1),184
BUF_SIZE 0 ucounts (-1),184
DATA_SOURCE 0 ucounts $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &group->mark_mutex

kernel/ucount.c do_dec_rlimit_put_ucounts() -> put_ucounts()

Type Parameter Key Value
PARAM_VALUE 0 ucounts 4096-ptr_max
PARAM_VALUE 0 ucounts->ns 4096-ptr_max
PARAM_VALUE 0 ucounts->rlimit 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/ucount.c inc_ucount() -> put_ucounts()

Type Parameter Key Value
PARAM_VALUE 0 ucounts 4096-ptr_max
BUF_SIZE 0 ucounts (-1),192
BUF_SIZE 0 ucounts (-1),192
DATA_SOURCE 0 ucounts r alloc_ucounts
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &group->mark_mutex

mm/mlock.c user_shm_unlock() -> put_ucounts()

Type Parameter Key Value
PARAM_VALUE 0 ucounts 1-u64max
CAPPED_DATA 0 ucounts 1
DATA_SOURCE 0 ucounts $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ids->rwsem

kernel/cred.c put_cred_rcu() -> put_ucounts()

Type Parameter Key Value
PARAM_VALUE 0 ucounts 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

kernel/cred.c set_cred_ucounts() -> put_ucounts()

Type Parameter Key Value
PARAM_VALUE 0 ucounts 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &tsk->signal->exec_update_lock

ipc/mqueue.c mqueue_evict_inode() -> put_ucounts()

Type Parameter Key Value
PARAM_VALUE 0 ucounts 1-u64max
CAPPED_DATA 0 ucounts 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

ipc/mqueue.c mqueue_get_inode() -> put_ucounts()

Type Parameter Key Value
PARAM_VALUE 0 ucounts 1-u64max
CAPPED_DATA 0 ucounts 1
CAPABLE 0 24
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL