Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/buffer.c grow_dev_folio() -> link_dev_buffers()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->b_assoc_buffers.next 4096-ptr_max
PARAM_VALUE 1 head->b_assoc_buffers.prev 4096-ptr_max
PARAM_VALUE 1 head->b_blocknr u64max
PARAM_VALUE 1 head->b_this_page 0,4096-ptr_max
DATA_SOURCE 0 folio r __filemap_get_folio
DATA_SOURCE 1 head r folio_alloc_buffers
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 head->b_size
LOCK2 &mapping->i_private_lock
HALF_LOCKED2 &alloc_inode->i_rwsem
HALF_LOCKED2 &dquot->dq_lock
HALF_LOCKED2 &ei->truncate_mutex
HALF_LOCKED2 &info->bfs_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &nilfs->ns_sem
HALF_LOCKED2 &sbi->s_lock
TYPE_LOCK (struct address_space)->i_private_lock