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_read() -> lpvo_do_read()

Type Parameter Key Value
PARAM_VALUE 1 buffer 16,4096-ptr_max
PARAM_VALUE 2 count 0-4000000
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
DATA_SOURCE 1 buffer r _kmalloc_noprof
DATA_SOURCE 2 count $2
USER_DATA 2 count 0-4000000
BYTE_COUNT 1 ==buffer2 8050

drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c one_char() -> lpvo_do_read()

Type Parameter Key Value
PARAM_VALUE 1 buffer 4096-ptr_max
PARAM_VALUE 2 count 128
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 1 buffer 128
UNITS 0 dev unit_byte

drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c send_command() -> lpvo_do_read()

Type Parameter Key Value
PARAM_VALUE 1 buffer 6108087692108701696
PARAM_VALUE 2 count 64
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 1 buffer 64
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
HALF_LOCKED2 &board->big_gpib_mutex

drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c usb_gpib_read() -> lpvo_do_read()

Type Parameter Key Value
PARAM_VALUE 1 buffer 4096-ptr_max
PARAM_VALUE 2 count 1
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 1 buffer 2
TERMINATED 1 buffer 1
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
HALF_LOCKED2 &board->big_gpib_mutex

drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c usb_gpib_read() -> lpvo_do_read()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 buffer 0
PARAM_VALUE 2 count 1
BUF_SIZE 0 dev s32min-(-2),1-s32max
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
HALF_LOCKED2 &board->big_gpib_mutex