Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

kernel/exit.c release_task() -> dec_rlimit_ucounts()

Type Parameter Key Value
PARAM_VALUE 1 type 0
PARAM_VALUE 2 v 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/mlock.c user_shm_lock() -> dec_rlimit_ucounts()

Type Parameter Key Value
PARAM_VALUE 1 type 3
PARAM_VALUE 2 v 0-4503599627370495
DATA_SOURCE 0 ucounts $1
CAPABLE 0 14
PREEMPT_ADD <- disables preempt
RX_PATH
NOCHECK_CALL
USER_DATA 2 v 1-4503599627370495[c]
UNITS 2 v unit_page
LOCK2 global &shmlock_user_lock
HALF_LOCKED2 &ids->rwsem
HALF_LOCKED2 &shp->shm_perm.lock
HALF_LOCKED2 rcu_read

mm/mlock.c user_shm_lock() -> dec_rlimit_ucounts()

Type Parameter Key Value
PARAM_VALUE 0 ucounts 4096-ptr_max
PARAM_VALUE 1 type 3
PARAM_VALUE 2 v 0-4503599627370495
DATA_SOURCE 0 ucounts $1
PREEMPT_ADD <- disables preempt
RX_PATH
NOCHECK_CALL
USER_DATA 2 v 1-4503599627370495[c]
UNITS 2 v unit_page
LOCK2 global &shmlock_user_lock
HALF_LOCKED2 &ids->rwsem
HALF_LOCKED2 &shp->shm_perm.lock
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 ucounts 1-u64max
PARAM_VALUE 1 type 3
PARAM_VALUE 2 v 0-4503599627370495
DATA_SOURCE 0 ucounts $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 v 1-4503599627370495[c]
UNITS 2 v unit_page
LOCK2 global &shmlock_user_lock
HALF_LOCKED2 &ids->rwsem

kernel/cred.c commit_creds() -> dec_rlimit_ucounts()

Type Parameter Key Value
PARAM_VALUE 1 type 0
PARAM_VALUE 2 v 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &tsk->signal->exec_update_lock
HALF_LOCKED2 global &key_session_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 ucounts 1-u64max
PARAM_VALUE 1 type 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mq_lock

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

Type Parameter Key Value
PARAM_VALUE 0 ucounts 1-u64max
PARAM_VALUE 1 type 1
CAPPED_DATA 0 ucounts 1
CAPABLE 0 24
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 v
LOCK2 global &mq_lock