Defined in 2 files as a function:
- arch/riscv/mm/kasan_init.c, line 111 (as a function)
- arch/x86/mm/kasan_init_64.c, line 102 (as a function)
Referenced in 2 files:
Smatch caller information:
arch/x86/mm/kasan_init_64.c kasan_populate_pgd() -> kasan_populate_p4d()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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 |
| NOCHECK_CALL | |||
| LOCK2 | irq |