Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ntb/test/ntb_tool.c tool_db_mask_read() -> tool_fn_read()

Type Parameter Key Value
PARAM_VALUE 0 tc 4096-ptr_max
PARAM_VALUE 0 tc->ntb 4096-ptr_max
PARAM_VALUE 0 tc->ntb->ops 4096-ptr_max
PARAM_VALUE 2 size 0-1000000000,2147479552
PARAM_VALUE 3 *offp 0-1000000000
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 3 offp (-1),8
BUF_SIZE 3 offp (-1),8
CAPPED_DATA 1 ubuf 1
DATA_SOURCE 1 ubuf $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 offp $3
FUZZY_MAX 2 size 2147479552
CONTAINER 4 -176-1632-0+0 $0
USER_DATA 1 ubuf 0-u64max[c]
USER_DATA 2 size 0-1000000000
USER_DATA 3 *offp 0-1000000000
USER_PTR 3 offp

drivers/ntb/test/ntb_tool.c tool_db_read() -> tool_fn_read()

Type Parameter Key Value
PARAM_VALUE 0 tc 4096-ptr_max
PARAM_VALUE 0 tc->ntb 4096-ptr_max
PARAM_VALUE 0 tc->ntb->ops 4096-ptr_max
PARAM_VALUE 2 size 0-1000000000,2147479552
PARAM_VALUE 3 *offp 0-1000000000
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 3 offp (-1),8
BUF_SIZE 3 offp (-1),8
CAPPED_DATA 1 ubuf 1
DATA_SOURCE 1 ubuf $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 offp $3
FUZZY_MAX 2 size 2147479552
CONTAINER 4 -152-1632-0+0 $0
USER_DATA 1 ubuf 0-u64max[c]
USER_DATA 2 size 0-1000000000
USER_DATA 3 *offp 0-1000000000
USER_PTR 3 offp

drivers/ntb/test/ntb_tool.c tool_db_valid_mask_read() -> tool_fn_read()

Type Parameter Key Value
PARAM_VALUE 0 tc 4096-ptr_max
PARAM_VALUE 0 tc->ntb 4096-ptr_max
PARAM_VALUE 0 tc->ntb->ops 4096-ptr_max
PARAM_VALUE 2 size 0-1000000000,2147479552
PARAM_VALUE 3 *offp 0-1000000000
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 3 offp (-1),8
BUF_SIZE 3 offp (-1),8
CAPPED_DATA 1 ubuf 1
DATA_SOURCE 1 ubuf $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 offp $3
FUZZY_MAX 2 size 2147479552
CONTAINER 4 -128-1632-0+0 $0
USER_DATA 1 ubuf 0-u64max[c]
USER_DATA 2 size 0-1000000000
USER_DATA 3 *offp 0-1000000000
USER_PTR 3 offp

drivers/ntb/test/ntb_tool.c tool_msg_inbits_read() -> tool_fn_read()

Type Parameter Key Value
PARAM_VALUE 0 tc 4096-ptr_max
PARAM_VALUE 0 tc->ntb 4096-ptr_max
PARAM_VALUE 0 tc->ntb->ops 4096-ptr_max
PARAM_VALUE 2 size 0-1000000000,2147479552
PARAM_VALUE 3 *offp 0-1000000000
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 3 offp (-1),8
BUF_SIZE 3 offp (-1),8
CAPPED_DATA 1 ubuf 1
DATA_SOURCE 1 ubuf $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 offp $3
FUZZY_MAX 2 size 2147479552
CONTAINER 4 -320-1632-0+0 $0
USER_DATA 1 ubuf 0-u64max[c]
USER_DATA 2 size 0-1000000000
USER_DATA 3 *offp 0-1000000000
USER_PTR 3 offp

drivers/ntb/test/ntb_tool.c tool_msg_outbits_read() -> tool_fn_read()

Type Parameter Key Value
PARAM_VALUE 0 tc 4096-ptr_max
PARAM_VALUE 0 tc->ntb 4096-ptr_max
PARAM_VALUE 0 tc->ntb->ops 4096-ptr_max
PARAM_VALUE 2 size 0-1000000000,2147479552
PARAM_VALUE 3 *offp 0-1000000000
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 3 offp (-1),8
BUF_SIZE 3 offp (-1),8
CAPPED_DATA 1 ubuf 1
DATA_SOURCE 1 ubuf $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 offp $3
FUZZY_MAX 2 size 2147479552
CONTAINER 4 -328-1632-0+0 $0
USER_DATA 1 ubuf 0-u64max[c]
USER_DATA 2 size 0-1000000000
USER_DATA 3 *offp 0-1000000000
USER_PTR 3 offp

drivers/ntb/test/ntb_tool.c tool_msg_sts_read() -> tool_fn_read()

Type Parameter Key Value
PARAM_VALUE 0 tc 4096-ptr_max
PARAM_VALUE 0 tc->ntb 4096-ptr_max
PARAM_VALUE 0 tc->ntb->ops 4096-ptr_max
PARAM_VALUE 2 size 0-1000000000,2147479552
PARAM_VALUE 3 *offp 0-1000000000
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 3 offp (-1),8
BUF_SIZE 3 offp (-1),8
CAPPED_DATA 1 ubuf 1
DATA_SOURCE 1 ubuf $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 offp $3
FUZZY_MAX 2 size 2147479552
CONTAINER 4 -336-1632-0+0 $0
USER_DATA 1 ubuf 0-u64max[c]
USER_DATA 2 size 0-1000000000
USER_DATA 3 *offp 0-1000000000
USER_PTR 3 offp

drivers/ntb/test/ntb_tool.c tool_peer_db_mask_read() -> tool_fn_read()

Type Parameter Key Value
PARAM_VALUE 0 tc 4096-ptr_max
PARAM_VALUE 0 tc->ntb 4096-ptr_max
PARAM_VALUE 0 tc->ntb->ops 4096-ptr_max
PARAM_VALUE 2 size 0-1000000000,2147479552
PARAM_VALUE 3 *offp 0-1000000000
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 3 offp (-1),8
BUF_SIZE 3 offp (-1),8
CAPPED_DATA 1 ubuf 1
DATA_SOURCE 1 ubuf $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 offp $3
FUZZY_MAX 2 size 2147479552
CONTAINER 4 -232-1632-0+0 $0
USER_DATA 1 ubuf 0-u64max[c]
USER_DATA 2 size 0-1000000000
USER_DATA 3 *offp 0-1000000000
USER_PTR 3 offp

drivers/ntb/test/ntb_tool.c tool_peer_db_read() -> tool_fn_read()

Type Parameter Key Value
PARAM_VALUE 0 tc 4096-ptr_max
PARAM_VALUE 0 tc->ntb 4096-ptr_max
PARAM_VALUE 0 tc->ntb->ops 4096-ptr_max
PARAM_VALUE 2 size 0-1000000000,2147479552
PARAM_VALUE 3 *offp 0-1000000000
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 0 tc s32min-(-2),1-s32max
BUF_SIZE 3 offp (-1),8
BUF_SIZE 3 offp (-1),8
CAPPED_DATA 1 ubuf 1
DATA_SOURCE 1 ubuf $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 offp $3
FUZZY_MAX 2 size 2147479552
CONTAINER 4 -208-1632-0+0 $0
USER_DATA 1 ubuf 0-u64max[c]
USER_DATA 2 size 0-1000000000
USER_DATA 3 *offp 0-1000000000
USER_PTR 3 offp