Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

security/security.c security_sem_alloc() -> security_sem_free()

Type Parameter Key Value
PARAM_VALUE 0 sma 4096-ptr_max
PARAM_VALUE 0 sma->mode 0-511
PARAM_VALUE 0 sma->security 0,4096-ptr_max
DATA_SOURCE 0 sma $0
NOCHECK_CALL
USER_DATA 0 sma->key s32min-s32max
USER_DATA 0 sma->mode 0-511[c]
LOCK2 &ids->rwsem
TYPE_LOCK (struct ipc_ids)->rwsem

ipc/sem.c sem_rcu_free() -> security_sem_free()

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