Defined in 5 files as a function:
- arch/csky/mm/fault.c, line 171 (as a function)
- arch/powerpc/mm/fault.c, line 252 (as a function)
- arch/riscv/mm/fault.c, line 249 (as a function)
- arch/sh/mm/fault.c, line 358 (as a function)
- arch/x86/mm/fault.c, line 1058 (as a function)
Referenced in 7 files:
- arch/csky/mm/fault.c, line 252
- arch/powerpc/mm/fault.c
- arch/riscv/mm/fault.c
- arch/sh/mm/fault.c, line 452
- arch/x86/mm/fault.c
- drivers/leds/leds-mlxreg.c
- drivers/platform/mellanox/mlxreg-io.c
Smatch caller information:
arch/x86/mm/fault.c do_user_addr_fault() -> access_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | vma | 4096-ptr_max |
| CAPPED_DATA | 1 | vma->vm_mm | 1 |
| CAPPED_DATA | 1 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | error_code | $1 |
| DATA_SOURCE | 1 | vma | r lock_vma_under_rcu |
arch/x86/mm/fault.c do_user_addr_fault() -> access_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | vma | 4096-ptr_max |
| DATA_SOURCE | 0 | error_code | $1 |
| DATA_SOURCE | 1 | vma | r lock_mm_and_find_vma |