Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/raid5-cache.c r5l_log_endio() -> __r5l_stripe_write_finished()

Type Parameter Key Value
PARAM_VALUE 0 io 4096-ptr_max
PARAM_VALUE 0 io->flush_barriers.head->bi_next 0
PARAM_VALUE 0 io->has_null_flush 1
PARAM_VALUE 0 io->log 4096-ptr_max
PARAM_VALUE 0 io->log->finished_ios.prev 4096-ptr_max
PARAM_VALUE 0 io->log->finished_ios.prev->next 4096-ptr_max
PARAM_VALUE 0 io->log->finished_ios.prev->next->next 4096-ptr_max
PARAM_VALUE 0 io->log->io_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 io->log->running_ios.next 4096-ptr_max
PARAM_VALUE 0 io->state s32min-(-1),2-s32max
BUF_SIZE 0 io (-1)-s32max
BUF_SIZE 0 io (-1)-s32max
CAPPED_DATA 0 &io->stripe_list 1
STR_LEN 0 io (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 io (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/raid5-cache.c r5l_log_endio() -> __r5l_stripe_write_finished()

Type Parameter Key Value
PARAM_VALUE 0 io 4096-ptr_max
PARAM_VALUE 0 io->log 4096-ptr_max
PARAM_VALUE 0 io->log->finished_ios.prev 4096-ptr_max
PARAM_VALUE 0 io->log->finished_ios.prev->next 4096-ptr_max
PARAM_VALUE 0 io->log->finished_ios.prev->next->next 4096-ptr_max
PARAM_VALUE 0 io->log->io_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 io->log->running_ios.next 4096-ptr_max
PARAM_VALUE 0 io->state s32min-(-1),2-s32max
BUF_SIZE 0 io (-1)-s32max
BUF_SIZE 0 io (-1)-s32max
CAPPED_DATA 0 &io->stripe_list 1
STR_LEN 0 io (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 io (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/raid5-cache.c r5l_stripe_write_finished() -> __r5l_stripe_write_finished()

Type Parameter Key Value
PARAM_VALUE 0 io 4096-ptr_max
TASK_NOT_RUNNING
NOCHECK_CALL