Defined in 3 files as a function:
- arch/s390/boot/vmem.c, line 96 (as a function)
- arch/s390/boot/vmem.c, line 191 (as a function)
- arch/x86/mm/kasan_init_64.c, line 141 (as a function)
Referenced in 2 files:
Smatch caller information:
arch/x86/mm/kasan_init_64.c kasan_init() -> kasan_populate_shadow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0,4096-18446744073709547520 |
| PARAM_VALUE | 1 | end | 8191-u64max |
| PARAM_VALUE | 2 | nid | 0 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| DATA_SOURCE | 0 | addr | r kasan_mem_to_shadow_align_down |
| DATA_SOURCE | 1 | end | r kasan_mem_to_shadow_align_up |
| NOCHECK_CALL | |||
| LOCK2 | irq |
arch/x86/mm/kasan_init_64.c kasan_init() -> kasan_populate_shadow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 16143916426947339776 |
| PARAM_VALUE | 1 | end | 16243761948989101568 |
| PARAM_VALUE | 2 | nid | 0-s32max |
| CAPPED_DATA | 2 | nid | 1 |
| BIT_INFO | 2 | nid | 0x0,0x7fffffff |
| NOCHECK_CALL | |||
| LOCK2 | irq |
arch/x86/mm/kasan_init_64.c kasan_populate_shadow_for_vaddr() -> kasan_populate_shadow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0,4096-18446744073709547520 |
| PARAM_VALUE | 1 | end | 8191-u64max |
| DATA_SOURCE | 0 | addr | r kasan_mem_to_shadow_align_down |
| DATA_SOURCE | 1 | end | r kasan_mem_to_shadow_align_up |
| DATA_SOURCE | 2 | nid | $2 |
| NOCHECK_CALL | |||
| LOCK2 | irq |
arch/x86/mm/kasan_init_64.c map_range() -> kasan_populate_shadow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 18438330610733809664,18446723251708100608 |
| PARAM_VALUE | 1 | end | 18438330610733809664,18446723251708100608 |
| PARAM_VALUE | 2 | nid | 0-s32max |
| CAPPED_DATA | 2 | nid | 1 |
| DATA_SOURCE | 0 | addr | r kasan_mem_to_shadow |
| DATA_SOURCE | 1 | end | r kasan_mem_to_shadow |
| NOCHECK_CALL | |||
| LOCK2 | irq |