Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/iov_iter.c __iov_iter_get_pages_alloc() -> want_pages_array()

Type Parameter Key Value
PARAM_VALUE 1 size 1-2147479552
PARAM_VALUE 2 start 0-4095
PARAM_VALUE 3 maxpages 1-u32max
DATA_SOURCE 0 res $1
DATA_SOURCE 1 size $2 [m]
DATA_SOURCE 3 maxpages $3
FUZZY_MAX 1 size 2147479552
NOSPEC 1 size
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 size 1-2147479552[c]
USER_DATA 1 size 1-2147479552[c]
UNITS 1 size unit_byte

lib/iov_iter.c __iov_iter_get_pages_alloc() -> want_pages_array()

Type Parameter Key Value
PARAM_VALUE 1 size 1-2147479552
PARAM_VALUE 2 start 0-4095
PARAM_VALUE 3 maxpages 1-u32max
DATA_SOURCE 0 res $1
DATA_SOURCE 1 size $2 [m]
DATA_SOURCE 3 maxpages $3
NOSPEC 1 size
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 size 0-2147479552[c]
HOST_DATA 2 start 0-4095[c]
USER_DATA 1 size 1-2147479552[c]
USER_DATA 2 start 0-4095[c]
UNITS 1 size unit_byte

lib/iov_iter.c iov_iter_extract_bvec_pages() -> want_pages_array()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 1 size 1-2147479552
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 res $1
DATA_SOURCE 1 size $2
DATA_SOURCE 3 maxpages $3
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 size 1-2147479551[c]
USER_DATA 2 start 0-u64max[c]
USER_DATA 3 maxpages 1-250000[c]
UNITS 1 size unit_byte
UNITS 2 start unit_byte
UNITS 3 maxpages unit_array_size
HALF_LOCKED2 &tls_ctx->tx_lock
HALF_LOCKED2 sk

lib/iov_iter.c iov_iter_extract_folioq_pages() -> want_pages_array()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 1 size 1-2147479552
PARAM_VALUE 2 start 0-4095
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 res $1
DATA_SOURCE 1 size $2
DATA_SOURCE 3 maxpages $3
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 size 1-2147479551[c]
USER_DATA 2 start 0-4095[c]
USER_DATA 3 maxpages 1-250000[c]
UNITS 1 size unit_byte
UNITS 3 maxpages unit_array_size
HALF_LOCKED2 &tls_ctx->tx_lock
HALF_LOCKED2 sk

lib/iov_iter.c iov_iter_extract_kvec_pages() -> want_pages_array()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 1 size 1-2147479552
PARAM_VALUE 2 start 0-4095
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 res $1
DATA_SOURCE 3 maxpages $3
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 size 1-2147479551[c]
USER_DATA 3 maxpages 1-250000[c]
UNITS 1 size unit_byte
UNITS 3 maxpages unit_array_size
HALF_LOCKED2 &tls_ctx->tx_lock
HALF_LOCKED2 sk

lib/iov_iter.c iov_iter_extract_user_pages() -> want_pages_array()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 1 size 1-2147479552
PARAM_VALUE 2 start 0-4095
DATA_SOURCE 0 res $1
DATA_SOURCE 1 size $2 [m]
DATA_SOURCE 3 maxpages $3
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 size 1-2147479551[c]
USER_DATA 3 maxpages 1-524288[c]
UNITS 1 size unit_byte
UNITS 3 maxpages unit_array_size
HALF_LOCKED2 &tls_ctx->tx_lock
HALF_LOCKED2 sk

lib/iov_iter.c iov_iter_extract_xarray_pages() -> want_pages_array()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 1 size 1-2147479552
PARAM_VALUE 2 start 0-4095
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 res $1
DATA_SOURCE 1 size $2
DATA_SOURCE 3 maxpages $3
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 size 1-2147479551[c]
USER_DATA 3 maxpages 1-250000[c]
UNITS 1 size unit_byte
UNITS 3 maxpages unit_array_size
HALF_LOCKED2 &tls_ctx->tx_lock
HALF_LOCKED2 sk

lib/iov_iter.c iter_folioq_get_pages() -> want_pages_array()

Type Parameter Key Value
PARAM_VALUE 1 size 1-2147479552
PARAM_VALUE 2 start 0-4095
PARAM_VALUE 3 maxpages 1-u32max
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 res $1
DATA_SOURCE 1 size $2
DATA_SOURCE 3 maxpages $3
FUZZY_MAX 1 size 2147479552
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 size 1-2147479552[c]
USER_DATA 2 start 0-4095[c]
UNITS 1 size unit_byte

lib/iov_iter.c iter_xarray_get_pages() -> want_pages_array()

Type Parameter Key Value
PARAM_VALUE 1 size 1-2147479552
PARAM_VALUE 2 start 0-4095
PARAM_VALUE 3 maxpages 1-u32max
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 res $1
DATA_SOURCE 1 size $2
DATA_SOURCE 3 maxpages $3
FUZZY_MAX 1 size 2147479552
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 size 1-2147479552[c]
UNITS 1 size unit_byte