Defined in 2 files as a function:
- arch/riscv/mm/kasan_init.c, line 80 (as a function)
- arch/x86/mm/kasan_init_64.c, line 72 (as a function)
Referenced in 2 files:
Smatch caller information:
arch/x86/mm/kasan_init_64.c kasan_populate_p4d() -> kasan_populate_pud()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pud | 4096-ptr_max |
| PARAM_VALUE | 1 | addr | 0-18446744073709547520 |
| PARAM_VALUE | 2 | end | 0 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| DATA_SOURCE | 1 | addr | $1 [m] |
| DATA_SOURCE | 3 | nid | $3 |
| PARAM_COMPARE | 1 | addr | >= $2 |
| PARAM_COMPARE | 1 | addr | >= $2 |
| PARAM_COMPARE | 2 | end | <= $1 |
| NOCHECK_CALL | |||
| LOCK2 | irq |