Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/xhci-dbgtty.c dbc_read_complete() -> dbc_to_port()

Type Parameter Key Value
PARAM_VALUE 0 dbc 4096-ptr_max
DATA_SOURCE 0 dbc $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dbc->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags

drivers/usb/host/xhci-dbgtty.c dbc_write_complete() -> dbc_to_port()

Type Parameter Key Value
PARAM_VALUE 0 dbc 4096-ptr_max
DATA_SOURCE 0 dbc $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dbc->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags

drivers/usb/host/xhci-dbgtty.c xhci_dbc_tty_register_device() -> dbc_to_port()

Type Parameter Key Value
PARAM_VALUE 0 dbc 4096-ptr_max
DATA_SOURCE 0 dbc $0
HALF_LOCKED2 &pool->lock

drivers/usb/host/xhci-dbgtty.c xhci_dbc_tty_remove() -> dbc_to_port()

Type Parameter Key Value
PARAM_VALUE 0 dbc 1-u64max
DATA_SOURCE 0 dbc $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &xhci->mutex
HALF_LOCKED2 global &companions_rwsem
HALF_LOCKED2 global &xenwatch_mutex
TYPE_LOCK (struct xhci_hcd)->mutex

drivers/usb/host/xhci-dbgtty.c xhci_dbc_tty_unregister_device() -> dbc_to_port()

Type Parameter Key Value
PARAM_VALUE 0 dbc 4096-ptr_max
BUF_SIZE 0 dbc (-1),1040
BUF_SIZE 0 dbc (-1),1040
DATA_SOURCE 0 dbc $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &dbc->enable_mutex