Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/ohci-hcd.c ohci_dump_status() -> maybe_print_eds()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 0 ohci->regs 4096-ptr_max
PARAM_VALUE 0 *ohci->hcca->int_table 0-4294967295
PARAM_VALUE 1 label 7017660566907449344
PARAM_VALUE 3 next 0,4096-ptr_max
PARAM_VALUE 3 **next 0-255
PARAM_VALUE 4 size 0,4096-ptr_max
BUF_SIZE 1 label 17
DATA_SOURCE 0 ohci $0
DATA_SOURCE 3 next $1
DATA_SOURCE 4 size $2
STR_LEN 0 ohci 16
TERMINATED 1 label 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ohci->fminterval 0-11998,12000-16383
HOST_DATA 0 ohci->hc_control 0-u32max
HOST_DATA 0 ohci->num_ports 0-254
HOST_DATA 2 value 0-u32max
UNITS 0 ohci unit_array_size
HALF_LOCKED2 &buf->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ohci->lock

drivers/usb/host/ohci-hcd.c ohci_dump_status() -> maybe_print_eds()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 0 ohci->regs 4096-ptr_max
PARAM_VALUE 0 *ohci->hcca->int_table 0-4294967295
PARAM_VALUE 1 label 3996214399954862080
PARAM_VALUE 3 next 0,4096-ptr_max
PARAM_VALUE 3 **next 0-255
PARAM_VALUE 4 size 0,4096-ptr_max
BUF_SIZE 1 label 15
DATA_SOURCE 0 ohci $0
DATA_SOURCE 3 next $1
DATA_SOURCE 4 size $2
STR_LEN 0 ohci 14
TERMINATED 1 label 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ohci->fminterval 0-11998,12000-16383
HOST_DATA 0 ohci->hc_control 0-u32max
HOST_DATA 0 ohci->num_ports 0-254
HOST_DATA 2 value 0-u32max
UNITS 0 ohci unit_array_size
HALF_LOCKED2 &buf->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ohci->lock

drivers/usb/host/ohci-hcd.c ohci_dump_status() -> maybe_print_eds()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 0 ohci->regs 4096-ptr_max
PARAM_VALUE 0 *ohci->hcca->int_table 0-4294967295
PARAM_VALUE 1 label 4675307751409094656
PARAM_VALUE 3 next 0,4096-ptr_max
PARAM_VALUE 3 **next 0-255
PARAM_VALUE 4 size 0,4096-ptr_max
BUF_SIZE 1 label 18
DATA_SOURCE 0 ohci $0
DATA_SOURCE 3 next $1
DATA_SOURCE 4 size $2
STR_LEN 0 ohci 17
TERMINATED 1 label 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ohci->fminterval 0-11998,12000-16383
HOST_DATA 0 ohci->hc_control 0-u32max
HOST_DATA 0 ohci->num_ports 0-254
HOST_DATA 2 value 0-u32max
UNITS 0 ohci unit_array_size
HALF_LOCKED2 &buf->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ohci->lock

drivers/usb/host/ohci-hcd.c ohci_dump_status() -> maybe_print_eds()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 0 ohci->regs 4096-ptr_max
PARAM_VALUE 0 *ohci->hcca->int_table 0-4294967295
PARAM_VALUE 1 label 4970370327200591872
PARAM_VALUE 3 next 0,4096-ptr_max
PARAM_VALUE 3 **next 0-255
PARAM_VALUE 4 size 0,4096-ptr_max
BUF_SIZE 1 label 12
DATA_SOURCE 0 ohci $0
DATA_SOURCE 3 next $1
DATA_SOURCE 4 size $2
STR_LEN 0 ohci 11
TERMINATED 1 label 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ohci->fminterval 0-11998,12000-16383
HOST_DATA 0 ohci->hc_control 0-u32max
HOST_DATA 0 ohci->num_ports 0-254
HOST_DATA 2 value 0-u32max
UNITS 0 ohci unit_array_size
HALF_LOCKED2 &buf->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ohci->lock

drivers/usb/host/ohci-hcd.c ohci_dump_status() -> maybe_print_eds()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 0 ohci->regs 4096-ptr_max
PARAM_VALUE 0 *ohci->hcca->int_table 0-4294967295
PARAM_VALUE 1 label 7383589392790949888
PARAM_VALUE 3 next 0,4096-ptr_max
PARAM_VALUE 3 **next 0-255
PARAM_VALUE 4 size 0,4096-ptr_max
BUF_SIZE 1 label 15
DATA_SOURCE 0 ohci $0
DATA_SOURCE 3 next $1
DATA_SOURCE 4 size $2
STR_LEN 0 ohci 14
TERMINATED 1 label 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ohci->fminterval 0-11998,12000-16383
HOST_DATA 0 ohci->hc_control 0-u32max
HOST_DATA 0 ohci->num_ports 0-254
HOST_DATA 2 value 0-u32max
UNITS 0 ohci unit_array_size
HALF_LOCKED2 &buf->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ohci->lock

drivers/usb/host/ohci-hcd.c ohci_dump_status() -> maybe_print_eds()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 0 ohci->regs 4096-ptr_max
PARAM_VALUE 0 *ohci->hcca->int_table 0-4294967295
PARAM_VALUE 1 label 1610684515825475584
PARAM_VALUE 3 next 0,4096-ptr_max
PARAM_VALUE 3 **next 0-255
PARAM_VALUE 4 size 0,4096-ptr_max
BUF_SIZE 1 label 9
DATA_SOURCE 0 ohci $0
DATA_SOURCE 3 next $1
DATA_SOURCE 4 size $2
STR_LEN 0 ohci 8
TERMINATED 1 label 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ohci->fminterval 0-11998,12000-16383
HOST_DATA 0 ohci->hc_control 0-u32max
HOST_DATA 0 ohci->num_ports 0-254
HOST_DATA 2 value 0-u32max
UNITS 0 ohci unit_array_size
HALF_LOCKED2 &buf->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ohci->lock