Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/pci/amd_bus.c early_root_info_init() -> update_res()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4096-ptr_max |
| PARAM_VALUE | 0 | info->link | 0-3 |
| PARAM_VALUE | 0 | info->node | 0-7 |
| PARAM_VALUE | 1 | start | 0,4096-16773120 |
| PARAM_VALUE | 2 | end | 4095,8191-u16max |
| PARAM_VALUE | 3 | flags | 256 |
| PARAM_VALUE | 4 | merge | 1 |
| CAPPED_DATA | 0 | info->link | 1 |
| CAPPED_DATA | 0 | info->node | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | info | r find_pci_root_info |
| FUZZY_MAX | 2 | end | u16max |
| BIT_INFO | 1 | start | 0x0,0xfff000 |
| BIT_INFO | 1 | start | 0x0,0xfff000 |
| BIT_INFO | 2 | end | 0xfff,0xffff |
| BIT_INFO | 2 | end | 0xfff,0xffffff |
| HARD_MAX | 2 | end | u16max |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | info->link | 0-3[c] |
| HOST_DATA | 0 | info->node | 0-7[c] |
| HOST_DATA | 1 | start | 0,4096-16773120 |
| HOST_DATA | 2 | end | 4095,8191-u16max[c] |
arch/x86/pci/amd_bus.c early_root_info_init() -> update_res()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4096-ptr_max |
| PARAM_VALUE | 0 | info->link | 0-3 |
| PARAM_VALUE | 0 | info->node | 0-7 |
| PARAM_VALUE | 3 | flags | 256 |
| PARAM_VALUE | 4 | merge | 1 |
| CAPPED_DATA | 0 | info->link | 1 |
| CAPPED_DATA | 0 | info->node | 1 |
| DATA_SOURCE | 0 | info | r find_pci_root_info |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | info->link | 0-3[c] |
| HOST_DATA | 0 | info->node | 0-7[c] |
arch/x86/pci/amd_bus.c early_root_info_init() -> update_res()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4096-ptr_max |
| PARAM_VALUE | 0 | info->link | 0-3 |
| PARAM_VALUE | 0 | info->node | 0-7 |
| PARAM_VALUE | 1 | start | 0-281474975662079 |
| PARAM_VALUE | 2 | end | 1048575-281474975662079 |
| PARAM_VALUE | 3 | flags | 512 |
| PARAM_VALUE | 4 | merge | 0 |
| CAPPED_DATA | 0 | info->link | 1 |
| CAPPED_DATA | 0 | info->node | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | end | 1 |
| CAPPED_DATA | 2 | end | 1 |
| DATA_SOURCE | 0 | info | r find_pci_root_info |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | info->link | 0-3[c] |
| HOST_DATA | 0 | info->node | 0-7[c] |
| HOST_DATA | 1 | start | 0,65536-s32max[c] |
arch/x86/pci/amd_bus.c early_root_info_init() -> update_res()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4096-ptr_max |
| PARAM_VALUE | 0 | info->link | 0-3 |
| PARAM_VALUE | 0 | info->node | 0-7 |
| PARAM_VALUE | 2 | end | u16max,131071-1099511693055,u64max |
| PARAM_VALUE | 3 | flags | 512 |
| PARAM_VALUE | 4 | merge | 1 |
| CAPPED_DATA | 0 | info->link | 1 |
| CAPPED_DATA | 0 | info->node | 1 |
| DATA_SOURCE | 0 | info | r find_pci_root_info |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | info->link | 0-3[c] |
| HOST_DATA | 0 | info->node | 0-7[c] |
| HOST_DATA | 1 | start | 0,65536-1099511627520[c] |
| HOST_DATA | 2 | end | u16max,131071-1099511693055[c] |
arch/x86/pci/amd_bus.c early_root_info_init() -> update_res()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4096-ptr_max |
| PARAM_VALUE | 0 | info->link | 0-3 |
| PARAM_VALUE | 0 | info->node | 0-7 |
| PARAM_VALUE | 3 | flags | 512 |
| PARAM_VALUE | 4 | merge | 1 |
| CAPPED_DATA | 0 | info->link | 1 |
| CAPPED_DATA | 0 | info->node | 1 |
| DATA_SOURCE | 0 | info | r find_pci_root_info |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | info->link | 0-3[c] |
| HOST_DATA | 0 | info->node | 0-7[c] |