Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/drbd/drbd_debugfs.c seq_print_peer_request_flags() -> __seq_print_rq_state_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->buf | 1-u64max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | m->op | 4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 4096-ptr_max |
| PARAM_VALUE | 2 | sep | 7313731560115396608 |
| PARAM_VALUE | 2 | *sep | 32 |
| PARAM_VALUE | 3 | set_name | 982284739072618496 |
| PARAM_VALUE | 4 | unset_name | 9178169962669027328 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 3 | set_name | 10 |
| BUF_SIZE | 4 | unset_name | 10 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| STR_LEN | 0 | m | 9 |
| STR_LEN | 1 | is_set | 9 |
| BIT_INFO | 1 | is_set | 0x0,0x400 |
| TERMINATED | 3 | set_name | 1 |
| TERMINATED | 4 | unset_name | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11294967294 |
| LOCK2 | &device->resource->req_lock | ||
| LOCK2 | irq | ||
| LOCK2 | rcu_read | ||
| LOCK2 | 0 | &m->lock | |
| TYPE_LOCK | (struct drbd_resource)->req_lock | ||
| TYPE_LOCK | (struct seq_file)->lock |
drivers/block/drbd/drbd_debugfs.c seq_print_peer_request_flags() -> __seq_print_rq_state_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->buf | 1-u64max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | m->op | 4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 4096-ptr_max |
| PARAM_VALUE | 2 | sep | 7313731560115396608 |
| PARAM_VALUE | 2 | *sep | 124 |
| PARAM_VALUE | 3 | set_name | 7788276800024367104 |
| PARAM_VALUE | 4 | unset_name | 7261464933263826944 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 3 | set_name | 12 |
| BUF_SIZE | 4 | unset_name | 9 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| STR_LEN | 0 | m | 11 |
| STR_LEN | 1 | is_set | 8 |
| BIT_INFO | 1 | is_set | 0x0,0x4000 |
| TERMINATED | 3 | set_name | 1 |
| TERMINATED | 4 | unset_name | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11294967294 |
| LOCK2 | &device->resource->req_lock | ||
| LOCK2 | irq | ||
| LOCK2 | rcu_read | ||
| LOCK2 | 0 | &m->lock | |
| TYPE_LOCK | (struct drbd_resource)->req_lock | ||
| TYPE_LOCK | (struct seq_file)->lock |
drivers/block/drbd/drbd_debugfs.c seq_print_rq_state_bit() -> __seq_print_rq_state_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->buf | 1-u64max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | m->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | m->op | 4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 4096-ptr_max |
| PARAM_VALUE | 2 | sep | 3541384113723858944,7313731560115396608 |
| PARAM_VALUE | 2 | *sep | 32,124 |
| PARAM_VALUE | 3 | set_name | 4096-ptr_max |
| PARAM_VALUE | 4 | unset_name | 0 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 3 | set_name | 2-12 |
| BUF_SIZE | 3 | set_name | 2-12 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | is_set | $1 |
| DATA_SOURCE | 2 | sep | $2 |
| DATA_SOURCE | 3 | set_name | $3 |
| STR_LEN | 0 | m | 1-11 |
| STR_LEN | 0 | m | 1-11 |
| TERMINATED | 3 | set_name | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941 |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| LOCK2 | irq | ||
| LOCK2 | 0 | &m->lock | |
| HALF_LOCKED2 | &device->resource->req_lock | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct drbd_resource)->req_lock | ||
| TYPE_LOCK | (struct seq_file)->lock |