Defined in 2 files as a function:
- drivers/media/i2c/tvp5150.c, line 120 (as a function)
- drivers/mmc/host/rtsx_pci_sdmmc.c, line 63 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/media/i2c/tvp5150.c tvp5150_log_status() -> dump_reg_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->devnode->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sd->devnode->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sd->devnode->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | sd->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | *sd->name | 0-255 |
| PARAM_VALUE | 1 | s | 7304821157253775360 |
| PARAM_VALUE | 2 | init | 177 |
| PARAM_VALUE | 3 | end | 181 |
| PARAM_VALUE | 4 | max_line | 8 |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd->ctrl_handler | (-1),328 |
| BUF_SIZE | 0 | sd->internal_ops | (-1),48 |
| BUF_SIZE | 1 | s | 18 |
| CAPPED_DATA | 0 | sd | 1 |
| DATA_SOURCE | 0 | sd | $0 |
| STR_LEN | 0 | sd | 17 |
| TERMINATED | 1 | s | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sd->ctrl_handler->nr_of_buckets | |
| HALF_LOCKED2 | &hdw->big_lock_mutex |
drivers/media/i2c/tvp5150.c tvp5150_log_status() -> dump_reg_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->devnode->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sd->devnode->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sd->devnode->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | sd->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | *sd->name | 0-255 |
| PARAM_VALUE | 1 | s | 6104458048167591936 |
| PARAM_VALUE | 2 | init | 182 |
| PARAM_VALUE | 3 | end | 186 |
| PARAM_VALUE | 4 | max_line | 8 |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd->ctrl_handler | (-1),328 |
| BUF_SIZE | 0 | sd->internal_ops | (-1),48 |
| BUF_SIZE | 1 | s | 18 |
| CAPPED_DATA | 0 | sd | 1 |
| DATA_SOURCE | 0 | sd | $0 |
| STR_LEN | 0 | sd | 17 |
| TERMINATED | 1 | s | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sd->ctrl_handler->nr_of_buckets | |
| HALF_LOCKED2 | &hdw->big_lock_mutex |
drivers/media/i2c/tvp5150.c tvp5150_log_status() -> dump_reg_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->devnode->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sd->devnode->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sd->devnode->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | sd->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | *sd->name | 0-255 |
| PARAM_VALUE | 1 | s | 6679079442649579520 |
| PARAM_VALUE | 2 | init | 144 |
| PARAM_VALUE | 3 | end | 147 |
| PARAM_VALUE | 4 | max_line | 8 |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd->ctrl_handler | (-1),328 |
| BUF_SIZE | 0 | sd->internal_ops | (-1),48 |
| BUF_SIZE | 1 | s | 10 |
| CAPPED_DATA | 0 | sd | 1 |
| DATA_SOURCE | 0 | sd | $0 |
| STR_LEN | 0 | sd | 9 |
| TERMINATED | 1 | s | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sd->ctrl_handler->nr_of_buckets | |
| HALF_LOCKED2 | &hdw->big_lock_mutex |
drivers/media/i2c/tvp5150.c tvp5150_log_status() -> dump_reg_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->devnode->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sd->devnode->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sd->devnode->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | sd->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | *sd->name | 0-255 |
| PARAM_VALUE | 1 | s | 5660085777105686528 |
| PARAM_VALUE | 2 | init | 148 |
| PARAM_VALUE | 3 | end | 153 |
| PARAM_VALUE | 4 | max_line | 8 |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd->ctrl_handler | (-1),328 |
| BUF_SIZE | 0 | sd->internal_ops | (-1),48 |
| BUF_SIZE | 1 | s | 10 |
| CAPPED_DATA | 0 | sd | 1 |
| DATA_SOURCE | 0 | sd | $0 |
| STR_LEN | 0 | sd | 9 |
| TERMINATED | 1 | s | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sd->ctrl_handler->nr_of_buckets | |
| HALF_LOCKED2 | &hdw->big_lock_mutex |
drivers/media/i2c/tvp5150.c tvp5150_log_status() -> dump_reg_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->devnode->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sd->devnode->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sd->devnode->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | sd->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | *sd->name | 0-255 |
| PARAM_VALUE | 1 | s | 1364430154520588288 |
| PARAM_VALUE | 2 | init | 154 |
| PARAM_VALUE | 3 | end | 166 |
| PARAM_VALUE | 4 | max_line | 8 |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd->ctrl_handler | (-1),328 |
| BUF_SIZE | 0 | sd->internal_ops | (-1),48 |
| BUF_SIZE | 1 | s | 10 |
| CAPPED_DATA | 0 | sd | 1 |
| DATA_SOURCE | 0 | sd | $0 |
| STR_LEN | 0 | sd | 9 |
| TERMINATED | 1 | s | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sd->ctrl_handler->nr_of_buckets | |
| HALF_LOCKED2 | &hdw->big_lock_mutex |
drivers/media/i2c/tvp5150.c tvp5150_log_status() -> dump_reg_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->devnode->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sd->devnode->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sd->devnode->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | sd->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | *sd->name | 0-255 |
| PARAM_VALUE | 1 | s | 2885083491132968960 |
| PARAM_VALUE | 2 | init | 167 |
| PARAM_VALUE | 3 | end | 175 |
| PARAM_VALUE | 4 | max_line | 10 |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd->ctrl_handler | (-1),328 |
| BUF_SIZE | 0 | sd->internal_ops | (-1),48 |
| BUF_SIZE | 1 | s | 10 |
| CAPPED_DATA | 0 | sd | 1 |
| DATA_SOURCE | 0 | sd | $0 |
| STR_LEN | 0 | sd | 9 |
| TERMINATED | 1 | s | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sd->ctrl_handler->nr_of_buckets | |
| HALF_LOCKED2 | &hdw->big_lock_mutex |
drivers/media/i2c/tvp5150.c tvp5150_log_status() -> dump_reg_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sd->devnode->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sd->devnode->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sd->devnode->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | sd->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | *sd->name | 0-255 |
| PARAM_VALUE | 1 | s | 462140830933659648 |
| PARAM_VALUE | 2 | init | 208 |
| PARAM_VALUE | 3 | end | 251 |
| PARAM_VALUE | 4 | max_line | 8 |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd->ctrl_handler | (-1),328 |
| BUF_SIZE | 0 | sd->internal_ops | (-1),48 |
| BUF_SIZE | 1 | s | 10 |
| CAPPED_DATA | 0 | sd | 1 |
| DATA_SOURCE | 0 | sd | $0 |
| STR_LEN | 0 | sd | 9 |
| TERMINATED | 1 | s | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sd->ctrl_handler->nr_of_buckets | |
| HALF_LOCKED2 | &hdw->big_lock_mutex |