Defined in 1 files as a prototype:

Defined in 12 files as a macro:

Defined in 7 files as a function:

Referenced in 11 files:

Smatch caller information:

mm/percpu.c pcpu_post_map_flush() -> flush_cache_vmap()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &pcpu_alloc_mutex

kernel/bpf/arena.c flush_vmap_cache() -> flush_cache_vmap()

Type Parameter Key Value
DATA_SOURCE 0 start $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte
HALF_LOCKED2 flags

mm/vmalloc.c __vmap_pages_range() -> flush_cache_vmap()

Type Parameter Key Value
DATA_SOURCE 0 start $0
DATA_SOURCE 1 end $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 end 0-u64max[c]
USER_DATA 1 end 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 start
UNITS 0 start unit_byte
UNITS 1 end unit_byte

mm/vmalloc.c vmap_page_range() -> flush_cache_vmap()

Type Parameter Key Value
PARAM_VALUE 0 start 0-18446744073709551614
CAPPED_DATA 0 start 1
CAPPED_DATA 0 start 1
CAPPED_DATA 1 end 1
CAPPED_DATA 1 end 1
DATA_SOURCE 0 start $0
DATA_SOURCE 1 end $1
PARAM_COMPARE 0 start < $1
PARAM_COMPARE 0 start < $1
PARAM_COMPARE 1 end > $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte

mm/vmalloc.c vmap_pfn() -> flush_cache_vmap()

Type Parameter Key Value
PARAM_VALUE 0 start 0-18446744073709551614
CAPPED_DATA 0 start 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte
HALF_LOCKED2 &gt->perf.lock
HALF_LOCKED2 __flags
HALF_LOCKED2 batch->obj->base.resv
HALF_LOCKED2 ce->ring->vma->obj->base.resv
HALF_LOCKED2 ce->timeline->hwsp_ggtt->obj->base.resv
HALF_LOCKED2 dst->base.resv
HALF_LOCKED2 obj->base.resv
HALF_LOCKED2 scratch->obj->base.resv
HALF_LOCKED2 src->base.resv
HALF_LOCKED2 timeline->hwsp_ggtt->obj->base.resv
HALF_LOCKED2 vma->obj->base.resv

mm/kasan/shadow.c __kasan_populate_vmalloc() -> flush_cache_vmap()

Type Parameter Key Value
PARAM_VALUE 0 start 0,4096-18446744073709547520
PARAM_VALUE 1 end 0,4096-u64max
BIT_INFO 0 start 0x0,0xfffffffffffff000
BIT_INFO 0 start 0x0,0xfffffffffffff000
BIT_INFO 1 end 0x0,0xfffffffffffff000
BIT_INFO 1 end 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pcpu_alloc_mutex

mm/sparse-vmemmap.c __populate_section_memmap() -> flush_cache_vmap()

Type Parameter Key Value
CAPPED_DATA 1 end 1
CAPPED_DATA 1 end 1
PARAM_COMPARE 0 start <= $1
PARAM_COMPARE 1 end >= $0
PARAM_COMPARE 1 end >= $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 start unit_page
UNITS 1 end unit_page
HALF_LOCKED2 irq