Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/squashfs/zstd_wrapper.c squashfs_first_page() -> (struct squashfs_page_actor)->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 $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 actor->pages
HALF_LOCKED2 &stream->mutex

fs/squashfs/zlib_wrapper.c squashfs_first_page() -> (struct squashfs_page_actor)->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 $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 actor->pages
HALF_LOCKED2 &stream->mutex

fs/squashfs/lzo_wrapper.c squashfs_first_page() -> (struct squashfs_page_actor)->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 $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 actor->pages
HALF_LOCKED2 &stream->mutex

fs/squashfs/block.c squashfs_first_page() -> (struct squashfs_page_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->buffer (-1),8
BUF_SIZE 0 actor->page (-1),8
DATA_SOURCE 0 actor $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 actor->pages

fs/squashfs/file.c squashfs_first_page() -> (struct squashfs_page_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->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 $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mapping->invalidate_lock

fs/squashfs/xz_wrapper.c squashfs_first_page() -> (struct squashfs_page_actor)->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 $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 actor->pages
HALF_LOCKED2 &stream->mutex

fs/squashfs/lz4_wrapper.c squashfs_first_page() -> (struct squashfs_page_actor)->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 $0
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 actor->pages
HALF_LOCKED2 &stream->mutex