Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/btrfs/extent_io.c btrfs_release_extent_buffer_folios() -> extent_buffer_under_io()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
BUF_SIZE 0 eb (-1)-s32max
BUF_SIZE 0 eb (-1)-s32max
CAPPED_DATA 0 eb 1
DATA_SOURCE 0 eb $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 eb->len
NO_OVERFLOW_SIMPLE 0 eb->start
HALF_LOCKED2 0 &eb->lock

fs/btrfs/extent_io.c free_extent_buffer_clear_reading() -> extent_buffer_under_io()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
BUF_SIZE 0 eb (-1)-s32max
BUF_SIZE 0 eb (-1)-s32max
BUF_SIZE 0 eb->fs_info (-1),11312
DATA_SOURCE 0 eb $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 eb->len
NO_OVERFLOW_SIMPLE 0 eb->start
LOCK2 0 &eb->refs_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &eb->lock
TYPE_LOCK (struct extent_buffer)->refs_lock

fs/btrfs/extent_io.c free_extent_buffer_stale() -> extent_buffer_under_io()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
BUF_SIZE 0 eb (-1)-s32max
BUF_SIZE 0 eb (-1)-s32max
CAPPED_DATA 0 eb 1
DATA_SOURCE 0 eb $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 eb->len
NO_OVERFLOW_SIMPLE 0 eb->start
LOCK2 0 &eb->refs_lock
HALF_LOCKED2 0 &eb->lock
TYPE_LOCK (struct extent_buffer)->refs_lock

fs/btrfs/extent_io.c try_release_extent_buffer() -> extent_buffer_under_io()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
BUF_SIZE 0 eb 1-s32max
BUF_SIZE 0 eb 1-s32max
DATA_SOURCE 0 eb r folio_get_private
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &folio->mapping->i_private_lock
LOCK2 0 &eb->refs_lock
HALF_LOCKED2 &folio->private->lock
TYPE_LOCK (struct address_space)->i_private_lock
TYPE_LOCK (struct extent_buffer)->refs_lock

fs/btrfs/extent_io.c try_release_subpage_extent_buffer() -> extent_buffer_under_io()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &eb->refs_lock
HALF_LOCKED2 &folio->private->lock
TYPE_LOCK (struct extent_buffer)->refs_lock

fs/btrfs/disk-io.c invalidate_and_check_btree_folios() -> extent_buffer_under_io()

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