Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/fsmap.c ext4_getfsmap_datadev() -> ext4_getfsmap_free_fixed_metadata()

Type Parameter Key Value
PARAM_VALUE 0 meta_list 4897358801850060984
PARAM_VALUE 0 meta_list->prev 4096-ptr_max
NOCHECK_CALL

fs/ext4/fsmap.c ext4_getfsmap_find_fixed_metadata() -> ext4_getfsmap_free_fixed_metadata()

Type Parameter Key Value
PARAM_VALUE 0 meta_list 4897358801850060984
PARAM_VALUE 0 meta_list->next 4897358801850060984
PARAM_VALUE 0 meta_list->next->next 4897358801850060984
PARAM_VALUE 0 meta_list->next->prev 0
PARAM_VALUE 0 meta_list->prev 4096-ptr_max
PARAM_VALUE 0 meta_list->prev->next 4096-ptr_max
PARAM_VALUE 0 meta_list->prev->prev 4897358801850060984
DATA_SOURCE 0 meta_list $1
NOCHECK_CALL