Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/isp116x-hcd.c isp116x_reset() -> isp116x_sw_reset()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/usb/host/isp116x-hcd.c isp116x_stop() -> isp116x_sw_reset()

Type Parameter Key Value
PARAM_VALUE 0 isp116x 4096-ptr_max
PARAM_VALUE 0 isp116x->addr_reg 4096-ptr_max
PARAM_VALUE 0 isp116x->board 4096-ptr_max
PARAM_VALUE 0 isp116x->board->delay 4096-ptr_max
PARAM_VALUE 0 isp116x->data_reg 4096-ptr_max
PARAM_VALUE 0 isp116x->lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &companions_rwsem
HALF_LOCKED2 global &xenwatch_mutex