Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/ohci-da8xx.c ohci_da8xx_reset() -> ohci_da8xx_enable()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
DATA_SOURCE 0 hcd $0

drivers/usb/host/ohci-da8xx.c ohci_da8xx_resume() -> ohci_da8xx_enable()

Type Parameter Key Value
BUF_SIZE 0 hcd s32min-(-2),1-s32max
BUF_SIZE 0 hcd s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hcd unit_byte
HALF_LOCKED2 &dev->mutex