Documented in 1 files:
Defined in 6 files as a prototype:
- arch/arm64/include/asm/kexec.h, line 124 (as a prototype)
- arch/loongarch/include/asm/kexec.h, line 50 (as a prototype)
- arch/powerpc/include/asm/kexec.h, line 96 (as a prototype)
- arch/riscv/include/asm/kexec.h, line 69 (as a prototype)
- arch/s390/include/asm/kexec.h, line 110 (as a prototype)
- arch/x86/include/asm/kexec.h, line 217 (as a prototype)
Defined in 6 files as a macro:
- arch/arm64/include/asm/kexec.h, line 125 (as a macro)
- arch/loongarch/include/asm/kexec.h, line 51 (as a macro)
- arch/powerpc/include/asm/kexec.h, line 97 (as a macro)
- arch/riscv/include/asm/kexec.h, line 70 (as a macro)
- arch/s390/include/asm/kexec.h, line 111 (as a macro)
- arch/x86/include/asm/kexec.h, line 218 (as a macro)
Defined in 7 files as a function:
- arch/arm64/kernel/machine_kexec_file.c, line 30 (as a function)
- arch/loongarch/kernel/machine_kexec_file.c, line 29 (as a function)
- arch/powerpc/kexec/file_load_64.c, line 840 (as a function)
- arch/riscv/kernel/machine_kexec_file.c, line 27 (as a function)
- arch/s390/kernel/machine_kexec_file.c, line 385 (as a function)
- arch/x86/kernel/machine_kexec_64.c, line 601 (as a function)
- include/linux/kexec.h, line 238 (as a function)
Referenced in 2 files:
Smatch caller information:
kernel/kexec_file.c kimage_file_post_load_cleanup() -> arch_kimage_file_post_load_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | image | 4096-ptr_max |
| PARAM_VALUE | 0 | image->cmdline_buf | 0 |
| PARAM_VALUE | 0 | image->fops->cleanup | 8067600598966484992 |
| PARAM_VALUE | 0 | image->fops->load | 2007869256418107392 |
| PARAM_VALUE | 0 | image->fops->probe | 8529642297517760512 |
| PARAM_VALUE | 0 | image->fops->verify_sig | 1345924272597557248 |
| PARAM_VALUE | 0 | image->ima_buffer | 0 |
| PARAM_VALUE | 0 | image->initrd_buf | 0 |
| PARAM_VALUE | 0 | image->kernel_buf | 0 |
| PARAM_VALUE | 0 | image->purgatory_info.purgatory_buf | 0 |
| PARAM_VALUE | 0 | image->purgatory_info.sechdrs | 0 |
| BUF_SIZE | 0 | image | (-1)-0,1008 |
| BUF_SIZE | 0 | image | (-1)-0,1008 |
| DATA_SOURCE | 0 | image | $0 |
| NOSPEC | 0 | image->nr_segments | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | image->cmdline_buf_len | 1-s32max[c] |
| USER_DATA | 0 | image->nr_segments | 1-16[c] |
| USER_DATA | 0 | image->start | 0-u64max |
| USER_DATA | 0 | *image->cmdline_buf | 0-255 |