Defined in 1 files as a prototype:
Defined in 6 files as a function:
- arch/arm/include/asm/cacheflush.h, line 305 (as a function)
- arch/csky/abiv1/inc/abi/cacheflush.h, line 27 (as a function)
- arch/mips/include/asm/cacheflush.h, line 149 (as a function)
- arch/parisc/kernel/cache.c, line 911 (as a function)
- arch/sh/include/asm/cacheflush.h, line 79 (as a function)
- include/linux/highmem.h, line 195 (as a function)
Referenced in 16 files:
- arch/parisc/kernel/cache.c, line 932
- block/blk-map.c, line 300
- drivers/dma-buf/heaps/cma_heap.c, line 136
- drivers/dma-buf/heaps/system_heap.c, line 195
- drivers/gpu/drm/panfrost/panfrost_gem.c, line 315
- drivers/gpu/drm/panthor/panthor_gem.c, line 509
- drivers/md/dm-io.c, line 128
- drivers/md/dm-writecache.c, line 384
- drivers/media/common/videobuf2/videobuf2-dma-contig.c, line 157
- drivers/usb/core/hcd.c, line 1367
- fs/btrfs/scrub.c, line 862
- fs/fuse/file.c, line 623
- fs/ntfs/bdev-io.c, line 70
- fs/xfs/xfs_bio_io.c, line 51
- fs/xfs/xfs_buf.c, line 1137
- sound/core/memalloc.c, line 600
Smatch caller information:
sound/core/memalloc.c snd_dma_noncontig_sync() -> invalidate_kernel_vmap_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | size | unit_byte |
drivers/gpu/drm/panthor/panthor_gem.c panthor_gem_prime_begin_cpu_access() -> invalidate_kernel_vmap_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vaddr | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | vaddr | unit_byte |
| UNITS | 1 | size | unit_byte |
| LOCK2 | obj->resv |
fs/btrfs/scrub.c scrub_read_endio_common() -> invalidate_kernel_vmap_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vaddr | 4096-ptr_max |
| DATA_SOURCE | 1 | size | r bio_get_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/ntfs/bdev-io.c ntfs_bdev_read() -> invalidate_kernel_vmap_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vaddr | 16,4096-u64max |
| BUF_SIZE | 0 | vaddr | (-1)-s32max |
| CAPPED_DATA | 1 | size | 1 |
| DATA_SOURCE | 0 | vaddr | $1 |
| DATA_SOURCE | 1 | size | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | size | |
| UNITS | 0 | vaddr | unit_byte |
| UNITS | 1 | size | unit_byte |
| HALF_LOCKED2 | &fc->uapi_mutex |
drivers/dma-buf/heaps/system_heap.c system_heap_dma_buf_begin_cpu_access() -> invalidate_kernel_vmap_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &buffer->lock | ||
| TYPE_LOCK | (struct system_heap_buffer)->lock |
fs/xfs/xfs_bio_io.c xfs_rw_bdev() -> invalidate_kernel_vmap_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vaddr | 16,4096-ptr_max |
| PARAM_VALUE | 1 | size | s32min-(-512),0,512-s32max |
| CAPPED_DATA | 1 | size | 1 |
| DATA_SOURCE | 0 | vaddr | $3 |
| DATA_SOURCE | 1 | size | $2 |
| BIT_INFO | 1 | size | 0x0,0xfffffe00 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/panfrost/panfrost_gem.c panfrost_gem_prime_begin_cpu_access() -> invalidate_kernel_vmap_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vaddr | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | size | unit_byte |
| LOCK2 | obj->resv |
drivers/md/dm-writecache.c persistent_memory_invalidate_cache() -> invalidate_kernel_vmap_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vaddr | $0 |
| DATA_SOURCE | 1 | size | $1 |
| NOCHECK_CALL | |||
| LOCK2 | &md->suspend_lock | ||
| LOCK2 | &wc->lock | ||
| TYPE_LOCK | (struct dm_writecache)->lock | ||
| TYPE_LOCK | (struct mapped_device)->suspend_lock |
drivers/md/dm-io.c complete_io() -> invalidate_kernel_vmap_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | vaddr | (-1),512-s32max |
| BUF_SIZE | 0 | vaddr | (-1),512-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | vaddr | unit_byte |
| HALF_LOCKED2 | &pool->lock |
drivers/dma-buf/heaps/cma_heap.c cma_heap_dma_buf_begin_cpu_access() -> invalidate_kernel_vmap_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | size | unit_byte |
| LOCK2 | &buffer->lock | ||
| TYPE_LOCK | (struct cma_heap_buffer)->lock |
drivers/media/common/videobuf2/videobuf2-dma-contig.c vb2_dc_finish() -> invalidate_kernel_vmap_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vaddr | 1-u64max |
| BUF_SIZE | 0 | vaddr | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | vaddr | unit_byte |
| UNITS | 1 | size | unit_byte |
drivers/usb/core/hcd.c usb_hcd_unmap_urb_for_dma() -> invalidate_kernel_vmap_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | vaddr | (-1),18 |
| BUF_SIZE | 0 | vaddr | (-1),18 |
| NOSPEC | 1 | size | |
| NOSPEC | 1 | size | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | size | 1-s32max |
| NO_OVERFLOW_SIMPLE | 0 | vaddr | |
| UNITS | 0 | vaddr | unit_byte |
| UNITS | 1 | size | unit_byte |
| HALF_LOCKED2 | &musb->lock |
fs/xfs/xfs_buf.c xfs_buf_ioend() -> invalidate_kernel_vmap_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | vaddr | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/fuse/file.c fuse_release_user_pages() -> invalidate_kernel_vmap_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | size | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | size | 1-s32max[c] |
| UNITS | 1 | size | unit_byte |
| HALF_LOCKED2 | &pool->lock |