Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c lpvo_write() -> lpvo_do_write()

Type Parameter Key Value
PARAM_VALUE 1 buffer 1-ptr_max
PARAM_VALUE 2 count 0-1000000000,2147479552
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 1 buffer 0-1000000000,2147479552
BUF_SIZE 1 buffer 0-1000000000,2147479552
CAPPED_DATA 2 count 1
CAPPED_DATA 2 count 1
DATA_SOURCE 1 buffer r memdup_user
DATA_SOURCE 2 count $2
FUZZY_MAX 2 count 2147479552
USER_DATA 1 *buffer 0-255
USER_DATA 2 count 0-1000000000[c]
BYTE_COUNT 1 ==buffer2 8050
USER_PTR 1 buffer

drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c write_loop() -> lpvo_do_write()

Type Parameter Key Value
PARAM_VALUE 1 buffer 4096-ptr_max
PARAM_VALUE 2 count 0-4000000
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 1 buffer 5-s32max
BUF_SIZE 1 buffer 5-s32max
CAPPED_DATA 2 count 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buffer $1
DATA_SOURCE 2 count $2
STR_LEN 0 dev (-1),5
PARAM_COMPARE 1 buffer >= $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
UNITS 2 count unit_byte
BYTE_COUNT 1 ==buffer2 8050