Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

ipc/util.c ipcctl_obtain_check() -> ipc_obtain_object_check()

Type Parameter Key Value
PARAM_VALUE 0 ids 4096-ptr_max
PARAM_VALUE 1 id 0-s32max
BUF_SIZE 0 ids (-1),1376,2064
BUF_SIZE 0 ids (-1),1376,2064
DATA_SOURCE 0 ids $1
DATA_SOURCE 1 id $2
FUZZY_MAX 1 id 0
USER_DATA 1 id 0-s32max
LOCK2 rcu_read

ipc/sem.c sem_obtain_object_check() -> ipc_obtain_object_check()

Type Parameter Key Value
PARAM_VALUE 0 ids 4096-ptr_max
PARAM_VALUE 1 id s32min-(-2),0-s32max
BUF_SIZE 0 ids 2064
CAPPED_DATA 1 id 1
DATA_SOURCE 1 id $1
FUZZY_MAX 1 id 0
NOSPEC 1 id
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 id 0-s32max[c]
LOCK2 rcu_read

ipc/msg.c msq_obtain_object_check() -> ipc_obtain_object_check()

Type Parameter Key Value
PARAM_VALUE 0 ids 4096-ptr_max
PARAM_VALUE 1 id 0-s32max
BUF_SIZE 0 ids 1376
DATA_SOURCE 1 id $1
FUZZY_MAX 1 id 0
USER_DATA 1 id 0-s32max
LOCK2 rcu_read

ipc/shm.c shm_obtain_object_check() -> ipc_obtain_object_check()

Type Parameter Key Value
PARAM_VALUE 0 ids 4096-ptr_max
PARAM_VALUE 1 id 0-s32max
DATA_SOURCE 1 id $1
FUZZY_MAX 1 id 0
USER_DATA 1 id 0-s32max
LOCK2 rcu_read