Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sunrpc/xdr.c xdr_decode_array2() -> xdr_xcode_array2()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->len 1-u32max
PARAM_VALUE 1 base 0-4294967294
PARAM_VALUE 2 desc 416589114958000128,6758693789443260416
PARAM_VALUE 2 desc->array_len 0
PARAM_VALUE 2 desc->array_maxlen 0-1024
PARAM_VALUE 2 desc->elem_size 12
PARAM_VALUE 2 desc->xcode 0,4145624993053048832
PARAM_VALUE 3 encode 0
CAPPED_DATA 1 base 1
DATA_SOURCE 0 buf $0
DATA_SOURCE 1 base $1
DATA_SOURCE 2 desc $2
PARAM_COMPARE 1 base < $0->len
RX_PATH
TASK_NOT_RUNNING
UNITS 1 base unit_byte

net/sunrpc/xdr.c xdr_encode_array2() -> xdr_xcode_array2()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->head 4096-ptr_max
PARAM_VALUE 0 buf->tail 4096-ptr_max
PARAM_VALUE 2 desc 3365657670896504832,6694544792840110080
PARAM_VALUE 2 desc->array_len 0,4-1024
PARAM_VALUE 2 desc->array_maxlen 0
PARAM_VALUE 2 desc->elem_size 12
PARAM_VALUE 2 desc->xcode 720227909582581760
PARAM_VALUE 3 encode 1
DATA_SOURCE 0 buf $0
DATA_SOURCE 1 base $1
DATA_SOURCE 2 desc $2
RX_PATH
TASK_NOT_RUNNING
UNITS 1 base unit_byte