Defined in 1 files as a prototype:
Defined in 3 files as a function:
- arch/sh/mm/fault.c, line 379 (as a function)
- arch/x86/boot/compressed/sev-handle-vc.c, line 89 (as a function)
- arch/x86/mm/fault.c, line 1124 (as a function)
Referenced in 5 files:
- arch/sh/mm/fault.c, line 413
- arch/x86/coco/sev/vc-shared.c, line 129
- arch/x86/coco/tdx/tdx.c, line 607
- arch/x86/kernel/cpu/mce/severity.c, line 267
- arch/x86/mm/fault.c, line 1480
Smatch caller information:
arch/x86/kernel/cpu/mce/severity.c is_copy_from_user() -> fault_in_kernel_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/mm/fault.c handle_page_fault() -> fault_in_kernel_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | address | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
arch/x86/coco/sev/vc-handle.c vc_insn_string_check() -> fault_in_kernel_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | address | $1 |
| PREEMPT_ADD |
arch/x86/coco/tdx/tdx.c handle_mmio() -> fault_in_kernel_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | address | 0 |