Defined in 3 files as a prototype:
- arch/alpha/include/asm/cacheflush.h, line 51 (as a prototype)
- arch/m68k/include/asm/cacheflush_mm.h, line 266 (as a prototype)
- arch/powerpc/include/asm/cacheflush.h, line 56 (as a prototype)
Defined in 6 files as a macro:
- arch/alpha/include/asm/cacheflush.h, line 49 (as a macro)
- arch/alpha/include/asm/cacheflush.h, line 53 (as a macro)
- arch/loongarch/include/asm/cacheflush.h, line 61 (as a macro)
- arch/openrisc/include/asm/cacheflush.h, line 92 (as a macro)
- arch/powerpc/include/asm/cacheflush.h, line 58 (as a macro)
- arch/riscv/include/asm/cacheflush.h, line 39 (as a macro)
Defined in 5 files as a function:
- arch/alpha/include/asm/cacheflush.h, line 38 (as a function)
- arch/alpha/kernel/smp.c, line 730 (as a function)
- arch/m68k/mm/cache.c, line 99 (as a function)
- arch/powerpc/mm/cacheflush.c, line 213 (as a function)
- include/asm-generic/cacheflush.h, line 81 (as a function)
Referenced in 3 files:
- arch/alpha/include/asm/cacheflush.h, line 63
- arch/m68k/include/asm/cacheflush_mm.h, line 278
- include/asm-generic/cacheflush.h
Smatch caller information:
mm/memory.c __access_remote_vm() -> flush_icache_user_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 1-u64max |
| PARAM_VALUE | 1 | page | 4096-ptr_max |
| PARAM_VALUE | 2 | addr | 0 |
| PARAM_VALUE | 3 | len | 1-4096 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 1 | page | r get_user_page_vma_remote |
| DATA_SOURCE | 2 | addr | r __untagged_addr_remote |
| FUZZY_MAX | 3 | len | 4096 |
| NOSPEC | 2 | addr | |
| NOSPEC | 2 | addr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | addr | 0[c] |
| USER_DATA | 3 | len | 1-4096[c] |
| UNITS | 3 | len | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |