Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/smb/server/ksmbd_work.c __ksmbd_iov_pin_rsp() -> inc_rfc1001_len()

Type Parameter Key Value
BUF_SIZE 0 buf s32min-(-2),1-s32max
DATA_SOURCE 1 count $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 count 0-s32max[c]
UNITS 0 buf unit_byte
UNITS 1 count unit_byte
HALF_LOCKED2 &pool->lock

fs/smb/server/ksmbd_work.c __ksmbd_iov_pin_rsp() -> inc_rfc1001_len()

Type Parameter Key Value
PARAM_VALUE 1 count 1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 1 count 1
DATA_SOURCE 1 count $4
RX_PATH
NOCHECK_CALL
UNITS 0 buf unit_byte
UNITS 1 count unit_byte
LOCK2 &pool->lock

fs/smb/server/smb2pdu.c fill_transform_hdr() -> inc_rfc1001_len()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 1 count 52
BUF_SIZE 0 buf 56
BUF_SIZE 0 buf 56
DATA_SOURCE 0 buf $0
NOCHECK_CALL
UNITS 1 count unit_byte

fs/smb/server/smb2pdu.c fill_transform_hdr() -> inc_rfc1001_len()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 1 count 0-16777215
BUF_SIZE 0 buf 56
BUF_SIZE 0 buf 56
DATA_SOURCE 0 buf $0
DATA_SOURCE 1 count r get_rfc1002_len
NOCHECK_CALL

fs/smb/server/smb2pdu.c init_chained_smb2_rsp() -> inc_rfc1001_len()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
BUF_SIZE 0 buf 448
NOCHECK_CALL

fs/smb/server/smb2pdu.c is_chained_smb2_message() -> inc_rfc1001_len()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 1 count (-16777215)-(-1),1-16777216
BUF_SIZE 0 buf 448
NOCHECK_CALL