Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/blocklayout/extent_tree.c ext_tree_mark_committed() -> ext_tree_free_commitdata()

Type Parameter Key Value
PARAM_VALUE 0 arg 4096-ptr_max
PARAM_VALUE 0 arg->inode 4096-ptr_max
DATA_SOURCE 0 arg $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfs/blocklayout/extent_tree.c ext_tree_prepare_commit() -> ext_tree_free_commitdata()

Type Parameter Key Value
PARAM_VALUE 0 arg 4096-ptr_max
PARAM_VALUE 0 arg->inode 4096-ptr_max
PARAM_VALUE 0 arg->layoutupdate_page 4096-ptr_max
PARAM_VALUE 0 arg->layoutupdate_page->_refcount.counter 1
PARAM_VALUE 0 arg->layoutupdate_pages 4096-ptr_max
PARAM_VALUE 0 *arg->layoutupdate_pages 4096-ptr_max
PARAM_VALUE 1 buffer_size 4096
BUF_SIZE 0 arg->layoutupdate_pages 8
DATA_SOURCE 0 arg $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 buffer_size unit_byte