Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/edac/amd64_edac.c enable_ecc_error_reporting() -> __amd64_write_pci_cfg_dword()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->error_state | 0-2,4-u32max |
| PARAM_VALUE | 1 | offset | 64 |
| PARAM_VALUE | 2 | val | 3 |
| PARAM_VALUE | 3 | func | 2291237081312628736 |
| BUF_SIZE | 3 | func | 27 |
| DATA_SOURCE | 0 | pdev | $2 |
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 3[c] |
drivers/edac/amd64_edac.c enable_ecc_error_reporting() -> __amd64_write_pci_cfg_dword()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->error_state | 0-2,4-u32max |
| PARAM_VALUE | 1 | offset | 68 |
| PARAM_VALUE | 2 | val | 4194304 |
| PARAM_VALUE | 3 | func | 2291237081312628736 |
| BUF_SIZE | 3 | func | 27 |
| DATA_SOURCE | 0 | pdev | $2 |
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 4194304[c] |
drivers/edac/amd64_edac.c f15h_select_dct() -> __amd64_write_pci_cfg_dword()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->error_state | 0-2,4-u32max |
| PARAM_VALUE | 1 | offset | 268 |
| PARAM_VALUE | 2 | val | 0-1,3 |
| PARAM_VALUE | 3 | func | 9079095256498102272 |
| BUF_SIZE | 3 | func | 16 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-1[c] |
| HALF_LOCKED2 | &of->mutex |
drivers/edac/amd64_edac.c inject_read_store() -> __amd64_write_pci_cfg_dword()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | offset | 184 |
| PARAM_VALUE | 2 | val | 2147483648,2147483650-2147483654 |
| PARAM_VALUE | 3 | func | 3680420092968841216 |
| BUF_SIZE | 3 | func | 18 |
| BIT_INFO | 2 | val | 0x80000000,0x80000006 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |
drivers/edac/amd64_edac.c inject_read_store() -> __amd64_write_pci_cfg_dword()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->error_state | 0-2,4-u32max |
| PARAM_VALUE | 1 | offset | 188 |
| PARAM_VALUE | 3 | func | 3680420092968841216 |
| BUF_SIZE | 3 | func | 18 |
| BIT_INFO | 2 | val | 0x10000,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |
drivers/edac/amd64_edac.c inject_write_store() -> __amd64_write_pci_cfg_dword()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | offset | 184 |
| PARAM_VALUE | 2 | val | 2147483648,2147483650-2147483654 |
| PARAM_VALUE | 3 | func | 7866903057932865536 |
| BUF_SIZE | 3 | func | 19 |
| BIT_INFO | 2 | val | 0x80000000,0x80000006 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |
drivers/edac/amd64_edac.c inject_write_store() -> __amd64_write_pci_cfg_dword()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->error_state | 0-2,4-u32max |
| PARAM_VALUE | 1 | offset | 188 |
| PARAM_VALUE | 3 | func | 7866903057932865536 |
| BUF_SIZE | 3 | func | 19 |
| BIT_INFO | 2 | val | 0x20000,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |
drivers/edac/amd64_edac.c restore_ecc_error_reporting() -> __amd64_write_pci_cfg_dword()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->error_state | 0-2,4-u32max |
| PARAM_VALUE | 1 | offset | 64 |
| PARAM_VALUE | 3 | func | 8571827401014497280 |
| BUF_SIZE | 3 | func | 28 |
| DATA_SOURCE | 0 | pdev | $2 |
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max[c] |
drivers/edac/amd64_edac.c restore_ecc_error_reporting() -> __amd64_write_pci_cfg_dword()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->error_state | 0-2,4-u32max |
| PARAM_VALUE | 1 | offset | 68 |
| PARAM_VALUE | 2 | val | 0 |
| PARAM_VALUE | 3 | func | 8571827401014497280 |
| BUF_SIZE | 3 | func | 28 |
| DATA_SOURCE | 0 | pdev | $2 |
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0[c] |