Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/inode.c mpage_map_and_submit_extent() -> ext4_alloc_io_end_vec()

Type Parameter Key Value
PARAM_VALUE 0 io_end->inode 4096-ptr_max
PARAM_VALUE 0 io_end->list.next 4096-ptr_max
PARAM_VALUE 0 io_end->list.prev 4096-ptr_max
PARAM_VALUE 0 io_end->list_vec.next 4096-ptr_max
PARAM_VALUE 0 io_end->list_vec.prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

fs/ext4/inode.c mpage_process_folio() -> ext4_alloc_io_end_vec()

Type Parameter Key Value
PARAM_VALUE 0 io_end 4096-ptr_max
PARAM_VALUE 0 io_end->list.next 4096-ptr_max
PARAM_VALUE 0 io_end->list.prev 4096-ptr_max
PARAM_VALUE 0 io_end->list_vec.next 4096-ptr_max
PARAM_COMPARE 0 &io_end->list_vec != $0->list_vec.next
RX_PATH
TASK_NOT_RUNNING