Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 10 files:
- arch/arm64/kernel/traps.c
- arch/powerpc/kernel/traps.c, line 499
- arch/powerpc/kernel/watchdog.c
- arch/x86/kernel/nmi.c
- drivers/acpi/arm64/agdi.c
- drivers/char/ipmi/ipmi_watchdog.c, line 1092
- drivers/soc/fujitsu/a64fx-diag.c, line 26
- drivers/watchdog/hpwdt.c, line 202
- kernel/panic.c, line 518
- kernel/watchdog.c, line 291
Smatch caller information:
drivers/char/ipmi/ipmi_watchdog.c ipmi_nmi() -> nmi_panic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | regs | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 4229980301948309504 |
| BUF_SIZE | 1 | msg | 12 |
| CAPPED_DATA | 0 | regs | 1 |
| DATA_SOURCE | 0 | regs | $1 |
| STR_LEN | 0 | regs | 11 |
| TERMINATED | 1 | msg | 1 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &nmi_reason_lock |
arch/x86/kernel/nmi.c io_check_error() -> nmi_panic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | regs | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 4785220203534888960 |
| BUF_SIZE | 1 | msg | 31 |
| CAPPED_DATA | 0 | regs | 1 |
| DATA_SOURCE | 0 | regs | $1 |
| STR_LEN | 0 | regs | 30 |
| TERMINATED | 1 | msg | 1 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| LOCK2 | global &nmi_reason_lock |
arch/x86/kernel/nmi.c pci_serr_error() -> nmi_panic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | regs | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 7170740266143621120 |
| BUF_SIZE | 1 | msg | 20 |
| CAPPED_DATA | 0 | regs | 1 |
| DATA_SOURCE | 0 | regs | $1 |
| STR_LEN | 0 | regs | 19 |
| TERMINATED | 1 | msg | 1 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| LOCK2 | global &nmi_reason_lock |
arch/x86/kernel/nmi.c unknown_nmi_error() -> nmi_panic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | regs | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 7170740266143621120 |
| BUF_SIZE | 1 | msg | 20 |
| CAPPED_DATA | 0 | regs | 1 |
| DATA_SOURCE | 0 | regs | $1 |
| STR_LEN | 0 | regs | 19 |
| TERMINATED | 1 | msg | 1 |
| NOCHECK_CALL |
kernel/watchdog.c watchdog_hardlockup_check() -> nmi_panic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | regs | 0 |
| PARAM_VALUE | 1 | msg | 7083043588800233472 |
| BUF_SIZE | 1 | msg | 12 |
| DATA_SOURCE | 0 | regs | $1 |
| STR_LEN | 0 | regs | 11 |
| TERMINATED | 1 | msg | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
drivers/watchdog/hpwdt.c hpwdt_pretimeout() -> nmi_panic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | regs | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 825670522796433408,7555597725915201536 |
| BUF_SIZE | 1 | msg | 29,210 |
| BUF_SIZE | 1 | msg | 29,210 |
| CAPPED_DATA | 0 | regs | 1 |
| DATA_SOURCE | 0 | regs | $1 |
| STR_LEN | 0 | regs | 28,209 |
| STR_LEN | 1 | msg | 28,209 |
| BIT_INFO | 1 | msg | 0x850401104c8c000,0x6bfffefff6eee000 |
| BIT_INFO | 1 | msg | 0x850401104c8c000,0x6bfffefff6eee000 |
| TERMINATED | 1 | msg | 1 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &nmi_reason_lock |