Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

fs/squashfs/zstd_wrapper.c zstd_uncompress() -> squashfs_first_page()

Type Parameter Key Value
PARAM_VALUE 0 actor 4096-ptr_max
PARAM_VALUE 0 actor->length 1-s32max
BUF_SIZE 0 actor->buffer (-1),8
BUF_SIZE 0 actor->page (-1),8
DATA_SOURCE 0 actor $5
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 actor->pages
HALF_LOCKED2 &stream->mutex

fs/squashfs/zlib_wrapper.c zlib_uncompress() -> squashfs_first_page()

Type Parameter Key Value
PARAM_VALUE 0 actor 4096-ptr_max
PARAM_VALUE 0 actor->length 1-s32max
BUF_SIZE 0 actor->buffer (-1),8
BUF_SIZE 0 actor->page (-1),8
DATA_SOURCE 0 actor $5
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 actor->pages
HALF_LOCKED2 &stream->mutex

fs/squashfs/lzo_wrapper.c lzo_uncompress() -> squashfs_first_page()

Type Parameter Key Value
PARAM_VALUE 0 actor 4096-ptr_max
PARAM_VALUE 0 actor->length 1-s32max
BUF_SIZE 0 actor->buffer (-1),8
BUF_SIZE 0 actor->page (-1),8
DATA_SOURCE 0 actor $5
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 actor->pages
HALF_LOCKED2 &stream->mutex

fs/squashfs/block.c copy_bio_to_actor() -> squashfs_first_page()

Type Parameter Key Value
PARAM_VALUE 0 actor 4096-ptr_max
PARAM_VALUE 0 actor->alloc_buffer 0
PARAM_VALUE 0 actor->length 1-s32max
BUF_SIZE 0 actor (-1),88
BUF_SIZE 0 actor (-1),88
BUF_SIZE 0 actor->buffer (-1),8
BUF_SIZE 0 actor->page (-1),8
DATA_SOURCE 0 actor $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 actor->pages

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

Type Parameter Key Value
PARAM_VALUE 0 actor 4096-ptr_max
PARAM_VALUE 0 actor->alloc_buffer 0
PARAM_VALUE 0 actor->buffer 16,4096-ptr_max
PARAM_VALUE 0 actor->last_page 0
PARAM_VALUE 0 actor->next_index 0-2251799813685247
PARAM_VALUE 0 actor->next_page 0
PARAM_VALUE 0 actor->page 16,4096-ptr_max
PARAM_VALUE 0 actor->pageaddr 0
PARAM_VALUE 0 actor->pages 1-1048576
PARAM_VALUE 0 actor->returned_pages 0
PARAM_VALUE 0 actor->squashfs_finish_page 7751690584682586112
PARAM_VALUE 0 actor->squashfs_first_page 3738391106504433664
PARAM_VALUE 0 actor->squashfs_next_page 4220844040330907648
PARAM_VALUE 0 actor->tmp_buffer 0,4096-ptr_max
BUF_SIZE 0 actor 88
BUF_SIZE 0 actor->page 8
CAPPED_DATA 0 actor->length 1
CAPPED_DATA 0 actor->pages 1
DATA_SOURCE 0 actor r squashfs_page_actor_init_special
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mapping->invalidate_lock

fs/squashfs/xz_wrapper.c squashfs_xz_uncompress() -> squashfs_first_page()

Type Parameter Key Value
PARAM_VALUE 0 actor 4096-ptr_max
PARAM_VALUE 0 actor->length 1-s32max
BUF_SIZE 0 actor->buffer (-1),8
BUF_SIZE 0 actor->page (-1),8
DATA_SOURCE 0 actor $5
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 actor->pages
HALF_LOCKED2 &stream->mutex

fs/squashfs/lz4_wrapper.c lz4_uncompress() -> squashfs_first_page()

Type Parameter Key Value
PARAM_VALUE 0 actor 4096-ptr_max
PARAM_VALUE 0 actor->length 1-s32max
BUF_SIZE 0 actor->buffer (-1),8
BUF_SIZE 0 actor->page (-1),8
DATA_SOURCE 0 actor $5
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 actor->pages
HALF_LOCKED2 &stream->mutex