Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/md/md-bitmap.c free_buffers() -> free_buffer_head()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bitmap->counts.lock
HALF_LOCKED2 &bitmap->mddev->bitmap_info.mutex
HALF_LOCKED2 irq

fs/buffer.c folio_alloc_buffers() -> free_buffer_head()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 0 bh->b_blocknr u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bh->b_size

fs/buffer.c try_to_free_buffers() -> free_buffer_head()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &journal->j_list_lock