Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
ipc/msg.c freeque() -> expunge_all()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msq | 4096-ptr_max |
| PARAM_VALUE | 1 | res | (-43) |
| PARAM_VALUE | 2 | wake_q | 1935514867187081216 |
| PARAM_VALUE | 2 | wake_q->first | 1 |
| PARAM_VALUE | 2 | wake_q->lastp | 1935514867187081216 |
| PARAM_VALUE | 2 | *wake_q->lastp | 1 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &ids->rwsem | ||
| HALF_LOCKED2 | &ipcp->lock | ||
| HALF_LOCKED2 | &msq->q_perm.lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kern_ipc_perm)->lock |
ipc/msg.c msgctl_down() -> expunge_all()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msq | 4096-ptr_max |
| PARAM_VALUE | 0 | msq->q_perm.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | msq->q_qbytes | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 1 | res | (-11) |
| PARAM_VALUE | 2 | wake_q | 6653007949394792448 |
| PARAM_VALUE | 2 | wake_q->first | 1 |
| PARAM_VALUE | 2 | wake_q->lastp | 6653007949394792448 |
| PARAM_VALUE | 2 | *wake_q->lastp | 1 |
| CAPPED_DATA | 0 | msq->q_qbytes | 1 |
| BIT_INFO | 0 | msq->q_qbytes | 0x0,0x7fffffff |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| USER_DATA | 0 | msq->q_qbytes | 0-s32max,18446744071562067968-u64max[c] |
| LOCK2 | rcu_read | ||
| LOCK2 | 0 | &msq->q_perm.lock | |
| TYPE_LOCK | (struct kern_ipc_perm)->lock |