Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/misc/adutux.c adu_interrupt_in_callback() -> adu_debug_data()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 function 3436118493113778176
BUF_SIZE 1 function 26
BUF_SIZE 3 data s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 size 0-s32max[c][u]
NO_OVERFLOW_SIMPLE 2 size
UNITS 2 size unit_byte
UNITS 3 data unit_byte
HALF_LOCKED2 &pool->lock

drivers/usb/misc/adutux.c adu_interrupt_out_callback() -> adu_debug_data()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 function 305802331494170624
BUF_SIZE 1 function 27
BUF_SIZE 3 data s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 size 0-s32max[c][u]
NO_OVERFLOW_SIMPLE 2 size
UNITS 2 size unit_byte
UNITS 3 data unit_byte
HALF_LOCKED2 &pool->lock