Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-bufio.c __bufio_new() -> __free_buffer_wake()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | b | 4096-ptr_max |
| DATA_SOURCE | 0 | b | r __alloc_buffer_wait |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | b->c->block_size |
drivers/md/dm-bufio.c __evict_a_few() -> __free_buffer_wake()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | b | 4096-ptr_max |
| PARAM_VALUE | 0 | b->hold_count.counter | 0 |
| PARAM_VALUE | 0 | b->node.rb_left | 0,4096-ptr_max |
| PARAM_VALUE | 0 | b->node.rb_right | 0,4096-ptr_max |
| DATA_SOURCE | 0 | b | r cache_evict |
| NOCHECK_CALL | |||
| LOCK2 | global &dm_bufio_clients_lock | ||
| HALF_LOCKED2 | &pool->lock |
drivers/md/dm-bufio.c __scan() -> __free_buffer_wake()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | b | 4096-ptr_max |
| PARAM_VALUE | 0 | b->hold_count.counter | 0 |
| PARAM_VALUE | 0 | b->node.rb_left | 0,4096-ptr_max |
| PARAM_VALUE | 0 | b->node.rb_right | 0,4096-ptr_max |
| DATA_SOURCE | 0 | b | r cache_evict |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/md/dm-bufio.c dm_bufio_client_create() -> __free_buffer_wake()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | b | 4096-ptr_max |
| PARAM_VALUE | 0 | b->c | 4096-ptr_max |
| PARAM_VALUE | 0 | b->c->async_write_error | 0 |
| PARAM_VALUE | 0 | b->c->block_size | 1-u32max |
| PARAM_VALUE | 0 | b->c->cache.num_locks | 0-64 |
| PARAM_VALUE | 0 | b->c->dm_io | 4096-ptr_max |
| PARAM_VALUE | 0 | b->c->free_buffer_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | b->c->free_buffer_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | b->c->lock.first_waiter | 0 |
| PARAM_VALUE | 0 | b->c->lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | b->c->lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | b->c->lock.owner.counter | 0 |
| PARAM_VALUE | 0 | b->c->minimum_buffers | 8 |
| PARAM_VALUE | 0 | b->c->need_reserved_buffers | 1-u32max |
| PARAM_VALUE | 0 | b->c->reserved_buffers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | b->c->reserved_buffers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | b->c->slab_buffer | 4096-ptr_max |
| PARAM_VALUE | 0 | b->data | 1-u64max |
| PARAM_VALUE | 0 | b->data_mode | 0-3 |
| PARAM_VALUE | 0 | b->stack_len | 0 |
| BUF_SIZE | 0 | b->c | 704-12992 |
| DATA_SOURCE | 0 | b | r alloc_buffer |
| BIT_INFO | 0 | b->c->block_size | 0x0,0xfffffe00 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-bufio.c dm_bufio_release() -> __free_buffer_wake()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | b | 4096-ptr_max |
| PARAM_VALUE | 0 | b->c | 4096-ptr_max |
| PARAM_VALUE | 0 | b->c->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | b->c->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | b->c->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | b->hold_count.counter | 1 |
| PARAM_VALUE | 0 | b->node.rb_left | 0,4096-ptr_max |
| PARAM_VALUE | 0 | b->node.rb_right | 0,4096-ptr_max |
| DATA_SOURCE | 0 | b | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-bufio.c drop_buffers() -> __free_buffer_wake()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | b | 4096-ptr_max |
| PARAM_VALUE | 0 | b->hold_count.counter | 0 |
| PARAM_VALUE | 0 | b->node.rb_left | 0,4096-ptr_max |
| PARAM_VALUE | 0 | b->node.rb_right | 0,4096-ptr_max |
| DATA_SOURCE | 0 | b | r __get_unclaimed_buffer |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-bufio.c drop_buffers() -> __free_buffer_wake()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | b | 4096-ptr_max |
| PARAM_VALUE | 0 | b->c->reserved_buffers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | b->c->reserved_buffers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | b->c->reserved_buffers.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | b->hold_count.counter | 0 |
| PARAM_VALUE | 0 | b->node.rb_left | 0,4096-ptr_max |
| PARAM_VALUE | 0 | b->node.rb_right | 0,4096-ptr_max |
| DATA_SOURCE | 0 | b | r __get_unclaimed_buffer |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-bufio.c forget_buffer() -> __free_buffer_wake()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | b | 4096-ptr_max |
| PARAM_VALUE | 0 | b->hold_count.counter | 1 |
| PARAM_VALUE | 0 | b->lru.referenced.counter | 1 |
| PARAM_VALUE | 0 | b->node.rb_left | 0,4096-ptr_max |
| PARAM_VALUE | 0 | b->node.rb_right | 0,4096-ptr_max |
| PARAM_VALUE | 0 | b->state | 0 |
| CAPPED_DATA | 0 | b->block | 1 |
| DATA_SOURCE | 0 | b | r cache_get |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-bufio.c __remove_range() -> __remove_range param 5()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | b | 4096-ptr_max |
| PARAM_VALUE | 0 | b->block | 0-18446744073709551614 |
| PARAM_VALUE | 0 | b->hold_count.counter | 0 |
| PARAM_VALUE | 0 | b->node.rb_left | 0,4096-ptr_max |
| PARAM_VALUE | 0 | b->node.rb_right | 0,4096-ptr_max |
| PARAM_VALUE | 0 | b->state | 0 |
| CAPPED_DATA | 0 | b->block | 1 |
| CAPPED_DATA | 0 | &b->lru | 1 |
| CAPPED_DATA | 0 | &b->node | 1 |
| DATA_SOURCE | 0 | b | r __find_next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &md->io_barrier | ||
| HALF_LOCKED2 | &pool->lock |