Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/dax.c dax_iomap_copy_around() -> dax_flush()

Type Parameter Key Value
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 1 addr $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 size 0-2151677948[c]
HALF_LOCKED2 global &dax_srcu

fs/dax.c dax_memzero() -> dax_flush()

Type Parameter Key Value
PARAM_VALUE 0 dax_dev 4096-ptr_max
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 2 size 0-4096
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 2 size $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 size 1-4096[c]
UNITS 2 size unit_byte
LOCK2 global &dax_srcu

fs/dax.c dax_writeback_one() -> dax_flush()

Type Parameter Key Value
PARAM_VALUE 1 addr 18379471554275704832,18446612682070032384
PARAM_VALUE 2 size 4096,2097152
DATA_SOURCE 0 dax_dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 size unit_byte
LOCK2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &mapping->invalidate_lock

drivers/md/dm-pcache/cache_dev.c cache_dev_zero_range() -> dax_flush()

Type Parameter Key Value
PARAM_VALUE 2 size 12288
DATA_SOURCE 1 addr $1
DATA_SOURCE 2 size $2
MEM_ZERO 1 addr
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

fs/fuse/virtio_fs.c virtio_fs_zero_page_range() -> dax_flush()

Type Parameter Key Value
PARAM_VALUE 0 dax_dev 4096-ptr_max
PARAM_VALUE 2 size 4096
DATA_SOURCE 0 dax_dev $0
MEM_ZERO 1 addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 size unit_byte
HALF_LOCKED2 global &dax_srcu