Documented in 1 files:
Defined in 1 files as a function:
Referenced in 13 files:
- drivers/gpu/drm/drm_gem.c
- drivers/gpu/drm/i915/gem/i915_gem_shmem.c, line 56
- drivers/gpu/drm/i915/i915_gpu_error.c
- fs/netfs/misc.c, line 94
- fs/netfs/rolling_buffer.c
- include/linux/sunrpc/svc.h, line 512
- mm/filemap.c
- mm/folio.c
- mm/mlock.c
- mm/shmem.c, line 1479
- mm/swap_state.c, line 590
- mm/vmscan.c
- net/sunrpc/svc.c, line 974
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 |