Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/dax/super.c dax_copy_from_iter() -> _copy_from_iter_flushcache()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-u64max
PARAM_VALUE 2 i 4096-ptr_max
PARAM_VALUE 2 i->data_source 1
CAPPED_DATA 1 bytes 1
CAPPED_DATA 1 bytes 1
DATA_SOURCE 0 addr $2
DATA_SOURCE 1 bytes $3
DATA_SOURCE 2 i $4
NOSPEC 2 i->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr 4096-ptr_max[c][u]
USER_DATA 1 bytes 4096-9223372036854775807[c]
USER_DATA 2 i->count 0-18446744073709551614
USER_DATA 2 i->iov_offset 0-u64max[c]
UNITS 1 bytes unit_byte
LOCK2 global &dax_srcu
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

drivers/nvdimm/pmem.c pmem_recovery_write() -> _copy_from_iter_flushcache()

Type Parameter Key Value
DATA_SOURCE 0 addr $2
DATA_SOURCE 1 bytes $3
DATA_SOURCE 2 i $4
NOSPEC 2 i->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr 4096-ptr_max[c][u]
USER_DATA 1 bytes 3-9223372036854775807[c]
USER_DATA 2 i->count 0-u64max
USER_DATA 2 i->iov_offset 0-u64max[c]
HALF_LOCKED2 global &dax_srcu

drivers/nvdimm/pmem.c pmem_recovery_write() -> _copy_from_iter_flushcache()

Type Parameter Key Value
DATA_SOURCE 0 addr $2
DATA_SOURCE 1 bytes $3
DATA_SOURCE 2 i $4
BIT_INFO 1 bytes 0x0,0xfffffffffffff000
BIT_INFO 1 bytes 0x0,0xfffffffffffff000
NOSPEC 2 i->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr 4096-ptr_max[c][u]
USER_DATA 1 bytes 3-9223372036854775807[c]
USER_DATA 2 i->count 0-u64max
USER_DATA 2 i->iov_offset 0-u64max[c]
HALF_LOCKED2 global &dax_srcu

drivers/dax/fsdev.c fsdev_dax_recovery_write() -> _copy_from_iter_flushcache()

Type Parameter Key Value
DATA_SOURCE 0 addr $2
DATA_SOURCE 1 bytes $3
DATA_SOURCE 2 i $4
NOSPEC 2 i->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr 4096-ptr_max[c][u]
USER_DATA 1 bytes 3-9223372036854775807[c]
USER_DATA 2 i->count 0-u64max
USER_DATA 2 i->iov_offset 0-u64max[c]
HALF_LOCKED2 global &dax_srcu

drivers/md/dm-pcache/segment.c segment_copy_from_bio() -> _copy_from_iter_flushcache()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 bytes 1-u32max
PARAM_VALUE 2 i 7993747585502302208
DATA_SOURCE 1 bytes $2
NOSPEC 1 bytes
NOSPEC 1 bytes
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 bytes 1-4194304[c]
HOST_DATA 2 i->count 0-u64max[c]
HOST_DATA 2 i->iov_offset 1-u32max[c]
USER_DATA 1 bytes 1-4194304[c]
UNITS 0 addr unit_byte
UNITS 1 bytes unit_byte
HALF_LOCKED2 &cache_subtree->tree_lock
HALF_LOCKED2 &pool->lock