Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/buffer.c bh_end_async_write() -> buffer_io_error()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 1 msg 1036249124857110528
BUF_SIZE 1 msg 24
STR_LEN 0 bh (-1)
STR_LEN 0 bh (-1)
STR_LEN 1 msg 23
TERMINATED 1 msg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/buffer.c bh_end_write() -> buffer_io_error()

Type Parameter Key Value
PARAM_VALUE 1 msg 1022525609249402880
BUF_SIZE 1 msg 23
STR_LEN 0 bh (-1)
STR_LEN 0 bh (-1)
STR_LEN 1 msg 22
TERMINATED 1 msg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/buffer.c end_buffer_async_read() -> buffer_io_error()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PARAM_VALUE 0 bh->b_folio 4096-ptr_max
PARAM_VALUE 1 msg 5352815966948896768
BUF_SIZE 1 msg 18
DATA_SOURCE 0 bh $0
STR_LEN 0 bh (-1)
STR_LEN 0 bh (-1)
STR_LEN 1 msg 17
TERMINATED 1 msg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ext4/page-io.c ext4_finish_bio() -> buffer_io_error()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &head->b_uptodate_lock
LOCK2 flags
TYPE_LOCK (struct buffer_head)->b_uptodate_lock