Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/squashfs/symlink.c squashfs_symlink_read_folio() -> squashfs_cache_put()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
PARAM_VALUE 0 entry->error s32min-(-1),1-s32max
DATA_SOURCE 0 entry r squashfs_cache_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mapping->invalidate_lock

fs/squashfs/symlink.c squashfs_symlink_read_folio() -> squashfs_cache_put()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
PARAM_VALUE 0 entry->error 0
DATA_SOURCE 0 entry r squashfs_cache_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mapping->invalidate_lock

fs/squashfs/file_cache.c squashfs_readpage_block() -> squashfs_cache_put()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
DATA_SOURCE 0 entry r squashfs_get_datablock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mapping->invalidate_lock

fs/squashfs/file.c squashfs_readahead_fragment() -> squashfs_cache_put()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
PARAM_VALUE 0 entry->error 0
DATA_SOURCE 0 entry r squashfs_get_fragment
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mapping->invalidate_lock

fs/squashfs/file.c squashfs_readahead_fragment() -> squashfs_cache_put()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
DATA_SOURCE 0 entry r squashfs_get_fragment
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mapping->invalidate_lock

fs/squashfs/file.c squashfs_readpage_fragment() -> squashfs_cache_put()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
DATA_SOURCE 0 entry r squashfs_get_fragment
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mapping->invalidate_lock

fs/squashfs/cache.c squashfs_read_metadata() -> squashfs_cache_put()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
PARAM_VALUE 0 entry->error 0
PARAM_VALUE 0 entry->length (-2147483647)-s32max
DATA_SOURCE 0 entry r squashfs_cache_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/squashfs/cache.c squashfs_read_metadata() -> squashfs_cache_put()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
DATA_SOURCE 0 entry r squashfs_cache_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL