Documented in 1 files:

Defined in 1 files as a function:

Referenced in 13 files:

Smatch caller information:

fs/netfs/misc.c netfs_free_folioq_buffer() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 3382054129155637248
PARAM_VALUE 0 fbatch->nr 0-1
PARAM_VALUE 1 folio 1-u64max
DATA_SOURCE 1 folio r folioq_folio
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &server->_srv_mutex
HALF_LOCKED2 &vnode->validate_lock

mm/shmem.c shmem_find_swap_entries() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 5014822408727982080
PARAM_VALUE 0 fbatch->nr 0-1
PARAM_VALUE 1 folio 1-1025,1027-1029,1031-u64max
DATA_SOURCE 0 fbatch $2
CAPABLE 0 21
LOCK2 rcu_read

drivers/gpu/drm/i915/i915_gpu_error.c pool_free() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 4096-ptr_max
DATA_SOURCE 0 fbatch $0
DATA_SOURCE 1 folio r virt_to_folio
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &capture_mutex

drivers/gpu/drm/i915/i915_gpu_error.c pool_refill() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 4096-ptr_max
PARAM_VALUE 1 folio 4096-ptr_max
DATA_SOURCE 0 fbatch $0
DATA_SOURCE 1 folio r folio_alloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &capture_mutex

mm/folio.c __folio_batch_add_and_move() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 1 folio 4096-ptr_max
BUF_SIZE 1 folio (-1)-s32max
BUF_SIZE 1 folio (-1)-s32max
CAPPED_DATA 1 folio 1
DATA_SOURCE 1 folio $1
STR_LEN 0 fbatch (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 1 folio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
NOSPEC 1 folio->mapping->writeback_index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 folio->index 0-4503599627370495[c]
USER_DATA 1 folio->mapping->writeback_index 0-524287[c]
NO_OVERFLOW_SIMPLE 1 folio->mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 1 folio->mapping->host->i_size
UNITS 1 folio unit_page
HALF_LOCKED2 flags
HALF_LOCKED2 1 &folio->private->lock

mm/folio.c folio_batch_move_lru() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 1796372839304876032
PARAM_VALUE 0 fbatch->nr 0-1
PARAM_VALUE 1 folio 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

mm/folio.c release_pages() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 2390424006162046976
PARAM_VALUE 0 fbatch->nr 0-1
DATA_SOURCE 1 folio r _compound_head
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

drivers/gpu/drm/i915/gem/i915_gem_shmem.c shmem_sg_free_table() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 2993452248789458944
PARAM_VALUE 0 fbatch->nr 0
DATA_SOURCE 1 folio r _compound_head
RX_PATH
TASK_NOT_RUNNING
UNITS 1 folio unit_page

mm/filemap.c filemap_create_folio() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 23929934555717632,4672004433422200832
PARAM_VALUE 0 fbatch->nr 0
PARAM_VALUE 1 folio 4096-ptr_max
CAPPED_DATA 1 folio 1
DATA_SOURCE 0 fbatch $1
DATA_SOURCE 1 folio r filemap_alloc_folio_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

mm/filemap.c filemap_get_folios_contig() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 488206119676043264,2504833305660149760,4987829228142530560,6161436555369525248,8479852811260129280
PARAM_VALUE 0 fbatch->nr 0-23
PARAM_VALUE 1 folio 4096-ptr_max
CAPPED_DATA 1 folio 1
DATA_SOURCE 0 fbatch $3
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &inode->i_rwsem

mm/filemap.c filemap_get_folios_dirty() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 4401596645713571840
PARAM_VALUE 1 folio 4096-ptr_max
DATA_SOURCE 0 fbatch $3
DATA_SOURCE 1 folio r find_get_entry
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &inode->i_rwsem

mm/filemap.c filemap_get_folios_tag() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 4096-ptr_max
PARAM_VALUE 1 folio 1-1025,1027-1029,1031-u64max
DATA_SOURCE 0 fbatch $4
DATA_SOURCE 1 folio r find_get_entry
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &sbi->cp_global_sem.internal_rwsem

mm/filemap.c filemap_get_read_batch() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 23929934555717632,4672004433422200832
PARAM_VALUE 1 folio 4096-ptr_max
CAPPED_DATA 1 folio 1
DATA_SOURCE 0 fbatch $3
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &inode->i_rwsem

mm/filemap.c find_get_entries() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 1728012304299606016,5021049936466386944,5660933744539840512
PARAM_VALUE 1 folio 1-1025,1027-1029,1031-u64max
DATA_SOURCE 0 fbatch $3
DATA_SOURCE 1 folio r find_get_entry
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &inode->i_rwsem

mm/filemap.c find_lock_entries() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 1728012304299606016,5021049936466386944,8323318326295396352
PARAM_VALUE 1 folio 1-1025,1027-1029,1031-u64max
DATA_SOURCE 0 fbatch $3
DATA_SOURCE 1 folio r find_get_entry
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

fs/netfs/rolling_buffer.c rolling_buffer_clear() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 3376669734599106560
PARAM_VALUE 0 fbatch->nr 0-1
PARAM_VALUE 1 folio 1-u64max
DATA_SOURCE 1 folio r folioq_folio
RX_PATH
TASK_NOT_RUNNING

fs/netfs/rolling_buffer.c rolling_buffer_load_from_ra() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 5658996248629600256
PARAM_VALUE 0 fbatch->nr 0-33
PARAM_VALUE 1 folio 4096-ptr_max
DATA_SOURCE 0 fbatch $2
DATA_SOURCE 1 folio r folioq_folio
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

mm/vmscan.c move_folios_to_lru() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 5861581113866039296
PARAM_VALUE 0 fbatch->nr 0-1
PARAM_VALUE 1 folio 4096-ptr_max
DATA_SOURCE 1 folio r lru_to_folio
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

mm/vmscan.c shrink_folio_list() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 8664677627752751104
PARAM_VALUE 0 fbatch->nr 0-1
PARAM_VALUE 1 folio 4096-ptr_max
CAPPED_DATA 1 folio 1
DATA_SOURCE 1 folio r lru_to_folio
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 folio->mapping->writeback_index 0-524287[c]

drivers/gpu/drm/drm_gem.c drm_gem_get_pages() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 8459280671772217344
PARAM_VALUE 0 fbatch->nr 0-1
DATA_SOURCE 1 folio r _compound_head
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &etnaviv_obj->lock
HALF_LOCKED2 &omap_obj->lock
HALF_LOCKED2 obj->resv

drivers/gpu/drm/drm_gem.c drm_gem_put_pages() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 7212993346729619456
PARAM_VALUE 0 fbatch->nr 0-1
DATA_SOURCE 1 folio r _compound_head
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &omap_obj->lock
HALF_LOCKED2 obj->resv

net/sunrpc/svcsock.c svc_rqst_page_release() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 4096-ptr_max
RX_PATH

mm/mlock.c mlock_folio() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 1 folio 4097-18446744073709547521
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 ptl

mm/mlock.c mlock_new_folio() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 1 folio 4098-18446744073709547522
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock
HALF_LOCKED2 &state.ctx->map_changing_lock
HALF_LOCKED2 dst_ptl
HALF_LOCKED2 ptl
HALF_LOCKED2 rcu_read
HALF_LOCKED2 src_ptl
HALF_LOCKED2 vmf->ptl

mm/mlock.c munlock_folio() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 1 folio 4096-ptr_max
BUF_SIZE 1 folio (-1)-s32max
BUF_SIZE 1 folio (-1)-s32max
CAPPED_DATA 1 folio 1
DATA_SOURCE 1 folio $0
NOSPEC 1 folio->mapping->writeback_index
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 folio->mapping->writeback_index 0-524287[c]
NO_OVERFLOW_SIMPLE 1 folio->index
NO_OVERFLOW_SIMPLE 1 folio->mapping->host->i_size
UNITS 1 folio unit_page
HALF_LOCKED2 ptl
HALF_LOCKED2 1 &folio->private->lock

net/sunrpc/svc.c svc_rqst_page_release() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

net/sunrpc/svc.c svc_rqst_release_pages() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 4096-ptr_max

mm/swap_state.c free_pages_and_swap_cache() -> folio_batch_add()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 6850455831935836160
PARAM_VALUE 0 fbatch->nr 0-1
PARAM_VALUE 1 folio 4096-ptr_max
DATA_SOURCE 1 folio r _compound_head
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING