Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sunrpc/xdr.c xdr_buf_pages_shift_right() -> xdr_buf_tail_shift_right()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->head 4096-ptr_max
PARAM_VALUE 0 buf->head->iov_len 0-4294967294
PARAM_VALUE 2 len 1-u32max
PARAM_VALUE 3 shift 1-u32max
CAPPED_DATA 0 buf->page_len 1
CAPPED_DATA 1 base 1
CAPPED_DATA 3 shift 1
DATA_SOURCE 0 buf $0
DATA_SOURCE 2 len $2
DATA_SOURCE 3 shift $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 base unit_byte
UNITS 2 len unit_byte
UNITS 3 shift unit_byte

net/sunrpc/xdr.c xdr_buf_pages_shift_right() -> xdr_buf_tail_shift_right()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->head 4096-ptr_max
PARAM_VALUE 0 buf->page_len 1-4294967294
PARAM_VALUE 1 base 0
PARAM_VALUE 2 len 1-u32max
PARAM_VALUE 3 shift 1-u32max
CAPPED_DATA 0 buf->page_len 1
CAPPED_DATA 3 shift 1
DATA_SOURCE 0 buf $0
DATA_SOURCE 3 shift $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 buf->page_len 4-s32max[c]
USER_DATA 2 len 1-2147483643[c]
USER_DATA 3 shift 1-s32max[c]
UNITS 2 len unit_byte
UNITS 3 shift unit_byte