Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

security/integrity/ima/ima_main.c mmap_violation_check() -> mapping_writably_mapped()

Type Parameter Key Value
LOCK2 &iint->mutex
TYPE_LOCK (struct ima_iint_cache)->mutex

mm/shmem.c shmem_file_read_iter() -> mapping_writably_mapped()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

mm/shmem.c shmem_file_splice_read() -> mapping_writably_mapped()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

mm/filemap.c filemap_read() -> mapping_writably_mapped()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bd_inode->i_rwsem
HALF_LOCKED2 &cinode->lock_sem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

mm/filemap.c filemap_splice_read() -> mapping_writably_mapped()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
CAPPED_DATA 0 mapping 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

mm/filemap.c generic_perform_write() -> mapping_writably_mapped()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/netfs/buffered_write.c netfs_perform_write() -> mapping_writably_mapped()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &cinode->lock_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/iomap/buffered-io.c iomap_write_iter() -> mapping_writably_mapped()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &vi->i_rwsem

fs/fuse/file.c fuse_fill_write_pages() -> mapping_writably_mapped()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
DATA_SOURCE 0 mapping $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem