Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/max3421-hcd.c max3421_handle_error() -> max3421_next_transfer()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->hcd_priv 4096-ptr_max
PARAM_VALUE 0 hcd->hcd_priv->hien 0-123
PARAM_VALUE 0 hcd->hcd_priv->rx s64min-(-4096),4096-s64max
PARAM_VALUE 0 hcd->hcd_priv->tx s64min-(-4096),4096-s64max
PARAM_VALUE 1 fast_retransmit 1
BUF_SIZE 0 hcd 128
BUF_SIZE 0 hcd 128
DATA_SOURCE 0 hcd $0
NOCHECK_CALL

drivers/usb/host/max3421-hcd.c max3421_host_transfer_done() -> max3421_next_transfer()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->hcd_priv 4096-ptr_max
PARAM_VALUE 0 hcd->hcd_priv->hien 0-123
PARAM_VALUE 0 hcd->hcd_priv->rx s64min-(-4096),4096-s64max
PARAM_VALUE 0 hcd->hcd_priv->tx s64min-(-4096),4096-s64max
PARAM_VALUE 1 fast_retransmit 0
BUF_SIZE 0 hcd 128
BUF_SIZE 0 hcd 128
DATA_SOURCE 0 hcd $0
NOCHECK_CALL

drivers/usb/host/max3421-hcd.c max3421_select_and_start_urb() -> max3421_next_transfer()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->hcd_priv 4096-ptr_max
PARAM_VALUE 0 hcd->hcd_priv->curr_urb 4096-ptr_max
PARAM_VALUE 0 hcd->hcd_priv->ep_list.prev 4096-ptr_max
PARAM_VALUE 0 hcd->hcd_priv->ep_list.prev->next 4096-ptr_max
PARAM_VALUE 0 hcd->hcd_priv->ep_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 hcd->hcd_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hcd->hcd_priv->sched_pass 0-1
PARAM_VALUE 1 fast_retransmit 0
BUF_SIZE 0 hcd 128
BUF_SIZE 0 hcd 128
DATA_SOURCE 0 hcd $0
HARD_MAX 0 hcd->hcd_priv->sched_pass 1
NOCHECK_CALL