Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/serial/garmin_gps.c garmin_read_process() -> getLayerId()

Type Parameter Key Value
BUF_SIZE 0 usbPacket s32min-(-2),1-s32max
BUF_SIZE 0 usbPacket s32min-(-2),1-s32max
DATA_SOURCE 0 usbPacket $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 usbPacket unit_byte
HALF_LOCKED2 &pool->lock

drivers/usb/serial/garmin_gps.c garmin_write() -> getLayerId()

Type Parameter Key Value
BUF_SIZE 0 usbPacket 24
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 *usbPacket 0-255
USER_PTR 0 usbPacket
HALF_LOCKED2 flags

drivers/usb/serial/garmin_gps.c garmin_write_bulk() -> getLayerId()

Type Parameter Key Value
PARAM_VALUE 0 usbPacket 1-u64max
BUF_SIZE 0 usbPacket s32min-s32max
DATA_SOURCE 0 usbPacket r kmemdup_noprof
RX_PATH
TASK_NOT_RUNNING

drivers/usb/serial/garmin_gps.c garmin_write_bulk_callback() -> getLayerId()

Type Parameter Key Value
BUF_SIZE 0 usbPacket s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 usbPacket unit_byte
HALF_LOCKED2 &pool->lock

drivers/usb/serial/garmin_gps.c gsp_send() -> getLayerId()

Type Parameter Key Value
BUF_SIZE 0 usbPacket 529
RX_PATH
TASK_NOT_RUNNING

drivers/usb/serial/garmin_gps.c gsp_send() -> getLayerId()

Type Parameter Key Value
PARAM_VALUE 0 usbPacket 4096-ptr_max
BUF_SIZE 0 usbPacket 529
RX_PATH
TASK_NOT_RUNNING