Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 port->interrupt_in_urb 4096-ptr_max
PARAM_VALUE 0 port->interrupt_in_urb->actual_length 0-s32max
PARAM_VALUE 0 port->interrupt_in_urb->complete 1-u64max
PARAM_VALUE 0 port->interrupt_in_urb->dev 4096-ptr_max
PARAM_VALUE 0 port->interrupt_in_urb->dev->state 4-u32max
PARAM_VALUE 0 port->interrupt_in_urb->ep 4096-ptr_max
PARAM_VALUE 0 port->interrupt_in_urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 0 port->interrupt_in_urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 port->interrupt_in_urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 port->interrupt_in_urb->hcpriv 0,4096-ptr_max
PARAM_VALUE 0 port->interrupt_in_urb->interval s32min-32768
PARAM_VALUE 0 port->interrupt_in_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 port->interrupt_in_urb->status (-4095)-0
PARAM_VALUE 0 port->interrupt_in_urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 0 port->interrupt_in_urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 port->interrupt_in_urb->transfer_buffer_length 0-s32max
PARAM_VALUE 0 port->interrupt_in_urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 port->serial 4096-ptr_max
PARAM_VALUE 0 port->serial->interface 4096-ptr_max
PARAM_VALUE 0 port->serial->interface->dev.power.request 0-4
PARAM_VALUE 0 port->serial->interface->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 port->serial->interface->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 port->serial->type 4096-ptr_max
PARAM_VALUE 1 buf 3446146244816244736
PARAM_VALUE 2 count 12
PARAM_VALUE 3 dismiss_ack 0
BUF_SIZE 1 buf 12
CAPPED_DATA 0 port->interrupt_in_urb 1
CAPPED_DATA 0 port->interrupt_in_urb->transfer_buffer_length 1
DATA_SOURCE 0 port $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 port->port.tty->index 0-s16max[c]
NO_OVERFLOW_SIMPLE 0 port->interrupt_in_urb->num_mapped_sgs
UNITS 2 count unit_byte
HALF_LOCKED2 &serial->disc_mutex

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

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 count 12-267
PARAM_VALUE 3 dismiss_ack 0
BUF_SIZE 1 buf 273
CAPPED_DATA 2 count 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

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

Type Parameter Key Value
PARAM_VALUE 3 dismiss_ack 0
BUF_SIZE 1 buf 273
CAPPED_DATA 2 count 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags