Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
arch/x86/kernel/cet.c do_kernel_cp_fault() -> __warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 9010473000071192576 |
| PARAM_VALUE | 1 | line | 129 |
| PARAM_VALUE | 2 | caller | 0-2592665977140203519,2592665977140203521-u64max |
| PARAM_VALUE | 3 | taint | 9 |
| PARAM_VALUE | 4 | regs | 4096-ptr_max |
| PARAM_VALUE | 4 | regs->fred_ss.type | 3 |
| PARAM_VALUE | 4 | regs->fred_ss.vector | 21 |
| PARAM_VALUE | 4 | regs->ip | 0-2592665977140203519,2592665977140203521-u64max |
| PARAM_VALUE | 4 | regs->orig_ax | u64max |
| PARAM_VALUE | 5 | args | 0 |
| BUF_SIZE | 0 | file | 22 |
| CAPPED_DATA | 4 | regs | 1 |
| DATA_SOURCE | 4 | regs | $0 |
| STR_LEN | 0 | file | 21 |
| TERMINATED | 0 | file | 1 |
| NOCHECK_CALL |
lib/bug.c __report_bug() -> __warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *file | 0-255 |
| PARAM_VALUE | 1 | line | 0-u16max |
| PARAM_VALUE | 3 | taint | 0-255 |
| PARAM_VALUE | 4 | regs | 4096-ptr_max |
| PARAM_VALUE | 5 | args | 0 |
| DATA_SOURCE | 2 | caller | $1 |
| DATA_SOURCE | 4 | regs | $2 |
| PREEMPT_ADD | |||
| NOCHECK_CALL |