Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 8 files:
- drivers/net/ethernet/hisilicon/hns3/hns3pf/hclge_debugfs.c, line 2133
- drivers/soc/tegra/cbb/tegra-cbb.c, line 26
- fs/gfs2/glock.c, line 1366
- fs/seq_file.c
- kernel/bpf/btf.c, line 8246
- kernel/time/timer_list.c, line 38
- lib/ref_tracker.c, line 354
- mm/kfence/report.c, line 63
Smatch caller information:
fs/gfs2/glock.c gfs2_print_dbg() -> seq_vprintf()
| 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 | 1 | f | 3121906957226549248,5809512667486556160,5816921504747753472,6153304401480155136,6341922399270158336,9128351684881936384 |
| PARAM_VALUE | 2 | *args | 5809512667486556160,5816921504747753472,6341922399270158336,3121906957226549248,9128351684881936384,6153304401480155136 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | f | 25,27,37,49,56,69 |
| BUF_SIZE | 1 | f | 25,27,37,49,56,69 |
| BUF_SIZE | 2 | args | 8 |
| BUF_SIZE | 2 | args | 8 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | f | $1 |
| STR_LEN | 0 | m | (-1),14,36,55,68 |
| STR_LEN | 0 | m | (-1),14,36,55,68 |
| STR_LEN | 1 | f | (-1),6-7,24,26,48 |
| STR_LEN | 1 | f | (-1),6-7,24,26,48 |
| STR_LEN | 2 | *args | (-1),6-7,24,26,48 |
| PARAM_COMPARE | 1 | &f | == $2 |
| TERMINATED | 1 | f | 1 |
| TERMINATED | 2 | *args | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941 |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | &rgd->rd_rsspin | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &m->lock |
lib/ref_tracker.c pr_ostream_seq() -> seq_vprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 1 | f | 26526181855375360,6379867951679188992,6573709729498042368 |
| PARAM_VALUE | 2 | *args | 6573709729498042368,6379867951679188992,26526181855375360 |
| BUF_SIZE | 1 | f | 31,40,44 |
| BUF_SIZE | 1 | f | 31,40,44 |
| BUF_SIZE | 2 | args | 8 |
| BUF_SIZE | 2 | args | 8 |
| DATA_SOURCE | 1 | f | $1 |
| STR_LEN | 0 | m | (-1) |
| STR_LEN | 1 | f | (-1) |
| STR_LEN | 2 | *args | (-1) |
| PARAM_COMPARE | 1 | &f | == $2 |
| TERMINATED | 1 | f | 1 |
| TERMINATED | 2 | *args | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &seq->lock | ||
| TYPE_LOCK | (struct ref_tracker_dir)->lock |
mm/kfence/report.c seq_con_printf() -> seq_vprintf()
| 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.dep_map->name | 0-255 |
| 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.first_waiter->list.prev->prev | 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 | 1 | f | 211100155028377600,2133125946524332032,3018497645153456128,6739027762828488704,6788326755177549824,8929741303852257280 |
| PARAM_VALUE | 2 | *args | 3018497645153456128,6739027762828488704,6788326755177549824,211100155028377600,2133125946524332032,8929741303852257280 |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | f | 2,6,14,20,44,57 |
| BUF_SIZE | 1 | f | 2,6,14,20,44,57 |
| BUF_SIZE | 2 | args | 8 |
| BUF_SIZE | 2 | args | 8 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | f | $1 |
| STR_LEN | 0 | m | 1,5,13,19,43,56 |
| STR_LEN | 0 | m | 1,5,13,19,43,56 |
| STR_LEN | 1 | f | (-1),5,9-12 |
| STR_LEN | 1 | f | (-1),5,9-12 |
| STR_LEN | 2 | *args | (-1),5,9-12 |
| PARAM_COMPARE | 1 | &f | == $2 |
| TERMINATED | 1 | f | 1 |
| TERMINATED | 2 | *args | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941[c] |
| LOCK2 | &meta->lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | 0 | &m->lock | |
| TYPE_LOCK | (struct kfence_metadata)->lock |
kernel/time/timer_list.c SEQ_printf() -> seq_vprintf()
| 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 | 1 | f | 4096-ptr_max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | f | 2,4,8-9,12,14-16,18-23,25-29,35,51 |
| BUF_SIZE | 1 | f | 2,4,8-9,12,14-16,18-23,25-29,35,51 |
| BUF_SIZE | 2 | args | 8 |
| BUF_SIZE | 2 | args | 8 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | f | $1 |
| STR_LEN | 0 | m | 1,3,7-8,11,13-15,17-22,24-28,34,50 |
| STR_LEN | 0 | m | 1,3,7-8,11,13-15,17-22,24-28,34,50 |
| STR_LEN | 1 | f | (-1),4,6-14 |
| STR_LEN | 1 | f | (-1),4,6-14 |
| STR_LEN | 2 | *args | (-1),4,6-14 |
| PARAM_COMPARE | 1 | &f | == $2 |
| TERMINATED | 1 | f | 1 |
| TERMINATED | 2 | *args | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941 |
| NO_OVERFLOW_SIMPLE | 0 | m->size | |
| HALF_LOCKED2 | 0 | &m->lock |
fs/seq_file.c seq_printf() -> seq_vprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 2 | args | 8 |
| BUF_SIZE | 2 | args | 8 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | f | $1 |
| PARAM_COMPARE | 1 | &f | == $2 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_seq_show() -> seq_vprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | f | 4096-ptr_max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | f | 2,7,9,11,13-15,22,27 |
| BUF_SIZE | 1 | f | 2,7,9,11,13-15,22,27 |
| BUF_SIZE | 2 | args | 8 |
| BUF_SIZE | 2 | args | 8 |
| DATA_SOURCE | 1 | f | $1 |
| DATA_SOURCE | 2 | args | $2 |
| STR_LEN | 0 | m | (-1),8 |
| STR_LEN | 1 | f | (-1),8 |
| TERMINATED | 1 | f | 1 |
| TERMINATED | 2 | *args | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/hisilicon/hns3/hns3pf/hclge_debugfs.c hclge_fd_dump_item() -> seq_vprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 4096-ptr_max |
| PARAM_VALUE | 1 | f | 1486286430441209856,8858544160570601472 |
| PARAM_VALUE | 2 | *args | 8858544160570601472,1486286430441209856 |
| BUF_SIZE | 1 | f | 4-5,7 |
| BUF_SIZE | 1 | f | 4-5,7 |
| BUF_SIZE | 2 | args | 8 |
| BUF_SIZE | 2 | args | 8 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| DATA_SOURCE | 1 | f | $3 |
| STR_LEN | 0 | m | 6-8,11,13 |
| STR_LEN | 0 | m | 6-8,11,13 |
| PARAM_COMPARE | 1 | &f | == $2 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| LOCK2 | &hdev->fd_rule_lock | ||
| LOCK2 | bh | ||
| TYPE_LOCK | (struct hclge_dev)->fd_rule_lock |