Defined in 1 files as a prototype:
Defined in 12 files as a function:
- arch/arm/kernel/machine_kexec.c, line 72 (as a function)
- arch/arm64/kernel/machine_kexec.c, line 43 (as a function)
- arch/loongarch/kernel/machine_kexec.c, line 92 (as a function)
- arch/m68k/kernel/machine_kexec.c, line 23 (as a function)
- arch/mips/kernel/machine_kexec.c, line 111 (as a function)
- arch/parisc/kernel/kexec.c, line 54 (as a function)
- arch/powerpc/kexec/core.c, line 35 (as a function)
- arch/riscv/kernel/machine_kexec.c, line 95 (as a function)
- arch/s390/kernel/machine_kexec.c, line 211 (as a function)
- arch/sh/kernel/machine_kexec.c, line 46 (as a function)
- arch/x86/kernel/machine_kexec_32.c, line 151 (as a function)
- arch/x86/kernel/machine_kexec_64.c, line 370 (as a function)
Referenced in 1 files:
Smatch caller information:
kernel/kexec_core.c kimage_free() -> machine_kexec_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | image | 4096-ptr_max |
| CAPPED_DATA | 0 | image->vmcoreinfo_data_copy | 1 |
| DATA_SOURCE | 0 | image | $0 |
| NOSPEC | 0 | image->nr_segments | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | image->nr_segments | 1-16[c] |
| USER_DATA | 0 | image->start | 0-u64max |