Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/ohci-hcd.c fill_registers_buffer() -> ohci_dump_roothub()

Type Parameter Key Value
PARAM_VALUE 0 controller 4096-ptr_max
PARAM_VALUE 0 controller->regs 4096-ptr_max
PARAM_VALUE 1 verbose 1
PARAM_VALUE 2 next 4096-ptr_max
PARAM_VALUE 2 *next 4096-ptr_max
PARAM_VALUE 3 size 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 0 controller unit_array_size
LOCK2 &buf->mutex
LOCK2 flags
LOCK2 0 &controller->lock
TYPE_LOCK (struct debug_buffer)->mutex
TYPE_LOCK (struct ohci_hcd)->lock

drivers/usb/host/ohci-hcd.c ohci_dump() -> ohci_dump_roothub()

Type Parameter Key Value
PARAM_VALUE 0 controller 4096-ptr_max
PARAM_VALUE 0 controller->regs 4096-ptr_max
PARAM_VALUE 0 *controller->hcca->int_table 0-4294967295
PARAM_VALUE 1 verbose 1
PARAM_VALUE 2 next 0
PARAM_VALUE 3 size 0
DATA_SOURCE 0 controller $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 controller->fminterval 0-11998,12000-16383
HOST_DATA 0 controller->hc_control 0-u32max
HOST_DATA 0 controller->num_ports 0-254
HALF_LOCKED2 flags
HALF_LOCKED2 0 &controller->lock