Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
5697385517428793344 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
5972122477426012160 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
5697385517428793344 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
5972122477426012160 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
318113549717893120 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
9164837656050315264 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
318113549717893120 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
9164837656050315264 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
8941155660437483520 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
6440767740343988224 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
8941155660437483520 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
6440767740343988224 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
8143493178300178432 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
3422098910907441152 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
8143493178300178432 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
3422098910907441152 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
2764911658735312896 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->node |
1-u64max |
| PARAM_VALUE |
1 |
range |
2599087275519721472 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
2764911658735312896 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->node |
1-u64max |
| PARAM_VALUE |
1 |
range |
2599087275519721472 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
1133386062356557824 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
1481620258526560256 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
1133386062356557824 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
1481620258526560256 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
5737119952999845888 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
7772739300969762816 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
5737119952999845888 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
7772739300969762816 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
7616009202724081664 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
6830966495023722496 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
7616009202724081664 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
6830966495023722496 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
6106169701378379776 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
6985794719237419008 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
6106169701378379776 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
6985794719237419008 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
2186685259044851712 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
538232639871684608 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
2186685259044851712 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
538232639871684608 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
4290452123485515776 |
| PARAM_VALUE |
0 |
parser->bus |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
0,4096-ptr_max |
| PARAM_VALUE |
1 |
range |
1616700514530529280 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
4290452123485515776 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
1616700514530529280 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
4290452123485515776 |
| PARAM_VALUE |
0 |
parser->bus |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
0,4096-ptr_max |
| PARAM_VALUE |
1 |
range |
1616700514530529280 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
4290452123485515776 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
1616700514530529280 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
3048142003658465280 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
2863182422247026688 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
3048142003658465280 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
2863182422247026688 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
1714787347690651648 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
7953914120212283392 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
1714787347690651648 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
7953914120212283392 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
1714787347690651648 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
7953914120212283392 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
1714787347690651648 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
7953914120212283392 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
8921998427258765312 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
6547284073688600576 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parser |
8921998427258765312 |
| PARAM_VALUE |
0 |
parser->bus |
4096-ptr_max |
| PARAM_VALUE |
0 |
parser->end |
4096-ptr_max |
| PARAM_VALUE |
1 |
range |
6547284073688600576 |
| PARAM_VALUE |
1 |
range->bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->cpu_addr |
0-u32max,u64max |
| PARAM_VALUE |
1 |
range->parent_bus_addr |
0-u32max |
| PARAM_VALUE |
1 |
range->pci_addr |
0-u32max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|