Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 17 files:
-
arch/x86/kernel/cpu/mce/core.c
-
arch/x86/kernel/cpu/mce/dev-mcelog.c,
line 362
-
drivers/acpi/acpi_extlog.c,
line 366
-
drivers/acpi/nfit/mce.c,
line 94
-
drivers/cxl/core/mce.c,
line 60
-
drivers/edac/i10nm_base.c,
line 1022
-
drivers/edac/i7core_edac.c,
line 2359
-
drivers/edac/ie31200_edac.c,
line 639
-
drivers/edac/igen6_edac.c,
line 1853
-
drivers/edac/imh_base.c,
line 589
-
drivers/edac/mce_amd.c,
line 1010
-
drivers/edac/pnd2_edac.c,
line 1561
-
drivers/edac/sb_edac.c,
line 3648
-
drivers/edac/skx_base.c,
line 689
-
drivers/gpu/drm/amd/amdgpu/amdgpu_ras.c,
line 4303
-
drivers/ras/amd/fmpm.c,
line 1020
-
drivers/ras/cec.c,
line 587
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
7861061862604816384 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
1426727764526436352 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
9201634143013244928 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
3620830856584204288 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
4370116999273201664 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
5886872395250843648 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&pdev->dev.mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
6317319871122120704 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
2349760199101980672 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
7043151933981257728 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
5196204759957970944 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
5974008198241386496 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
8302079160391991296 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
4096-ptr_max |
| PARAM_VALUE |
0 |
nb->notifier_call |
7302095964667170816 |
| PARAM_VALUE |
0 |
nb->priority |
5 |
| DATA_SOURCE |
0 |
nb |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&dev->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
6605784115671097344 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
3617995037648515072 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
8329556789769277440 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
4714070166013558784 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
7720791289119363072 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
nb |
5267589354983247872 |
| NOCHECK_CALL |
|
|
|