Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

ipc/shm.c exit_shm() -> get_ipc_ns_not_zero()

Type Parameter Key Value
PARAM_VALUE 0 ns 4096-ptr_max
PARAM_VALUE 0 ns->shm_rmid_forced s32min-(-1),1-s32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ns unit_byte
LOCK2 &task->alloc_lock
TYPE_LOCK (struct task_struct)->alloc_lock