Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/serial/garmin_gps.c garmin_read_bulk_callback() -> garmin_read_process()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | bulk_data | 1 |
| BUF_SIZE | 0 | garmin_data_p | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | garmin_data_p | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | data | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | data | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | data_length | 0-u32max[c][u] |
| NO_OVERFLOW_SIMPLE | 2 | data_length | |
| UNITS | 0 | garmin_data_p | unit_byte |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | data_length | unit_byte |
| HALF_LOCKED2 | &pool->lock |
drivers/usb/serial/garmin_gps.c garmin_read_int_callback() -> garmin_read_process()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | bulk_data | 0 |
| BUF_SIZE | 0 | garmin_data_p | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | garmin_data_p | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | data | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | data | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | data_length | 0-11,13-15,17-u32max[c][u] |
| NO_OVERFLOW_SIMPLE | 2 | data_length | |
| UNITS | 0 | garmin_data_p | unit_byte |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | data_length | unit_byte |
| HALF_LOCKED2 | &pool->lock |