Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/buffer.c mmb_invalidate() -> __remove_assoc_queue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmb | 4096-ptr_max |
| PARAM_VALUE | 0 | mmb->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | bh | 4096-ptr_max |
| CAPPED_DATA | 0 | &mmb->list | 1 |
| DATA_SOURCE | 0 | mmb | $0 |
| PARAM_COMPARE | 0 | &mmb->list | != $0->list.next |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &mmb->lock | |
| TYPE_LOCK | (struct mapping_metadata_bhs)->lock |
fs/buffer.c mmb_sync() -> __remove_assoc_queue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmb | 4096-ptr_max |
| PARAM_VALUE | 0 | mmb->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | bh | 4096-ptr_max |
| CAPPED_DATA | 0 | mmb | 1 |
| CAPPED_DATA | 0 | &mmb->list | 1 |
| DATA_SOURCE | 0 | mmb | $0 |
| PARAM_COMPARE | 0 | &mmb->list | != $0->list.next |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &mmb->lock | |
| TYPE_LOCK | (struct mapping_metadata_bhs)->lock |
fs/buffer.c mmb_sync() -> __remove_assoc_queue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmb | 4096-ptr_max |
| PARAM_VALUE | 0 | mmb->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | bh | 1037135268483805120 |
| PARAM_VALUE | 1 | bh->b_assoc_buffers.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | bh->b_assoc_buffers.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | bh->b_assoc_buffers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | bh->b_assoc_buffers.prev->prev | 4096-ptr_max |
| CAPPED_DATA | 0 | mmb | 1 |
| CAPPED_DATA | 0 | &mmb->list | 1 |
| DATA_SOURCE | 0 | mmb | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &mmb->lock | |
| TYPE_LOCK | (struct mapping_metadata_bhs)->lock |
fs/buffer.c remove_assoc_queue() -> __remove_assoc_queue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmb | 4096-ptr_max |
| PARAM_VALUE | 0 | mmb->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | bh | 4096-ptr_max |
| PARAM_VALUE | 1 | bh->b_mmb | 4096-ptr_max |
| PARAM_VALUE | 1 | bh->b_mmb->lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 1 | bh | (-1)-s32max |
| BUF_SIZE | 1 | bh | (-1)-s32max |
| CAPPED_DATA | 0 | mmb | 1 |
| CAPPED_DATA | 1 | bh->b_mmb | 1 |
| DATA_SOURCE | 1 | bh | $0 |
| PARAM_COMPARE | 0 | mmb | == $1->b_mmb |
| PARAM_COMPARE | 1 | bh->b_mmb | == $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| LOCK2 | 0 | &mmb->lock | |
| TYPE_LOCK | (struct mapping_metadata_bhs)->lock |