Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/x86/p2sb.c p2sb_bar() -> p2sb_read_from_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 1-u64max |
| PARAM_VALUE | 0 | bus->self->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 2 | mem | 318332852117458944,1892121157582897152,3285766556039471104,3404545003831431176,4416858715842863104 |
| BUF_SIZE | 2 | mem | (-1),64 |
| BUF_SIZE | 2 | mem | (-1),64 |
| DATA_SOURCE | 0 | bus | r p2sb_get_bus |
| DATA_SOURCE | 1 | devfn | $1 [m] |
| DATA_SOURCE | 2 | mem | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |