Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/usb/core/port.c usb_port_allow_power_off() -> hub_is_port_power_switchable()

Type Parameter Key Value
PARAM_VALUE 0 hub 4096-ptr_max
PARAM_VALUE 0 hub->descriptor 4096-ptr_max
BUF_SIZE 0 hub->buffer 8
BUF_SIZE 0 hub->descriptor 15
BUF_SIZE 0 hub->intfdev 1616
BUF_SIZE 0 hub->ports 8-248
BUF_SIZE 0 hub->status 8
CAPPED_DATA 0 hub->descriptor->bNbrPorts 1
CAPPED_DATA 0 hub->mA_per_port 1
DATA_SOURCE 0 hub $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &usb_port_peer_mutex

drivers/usb/core/hub.c hub_port_connect() -> hub_is_port_power_switchable()

Type Parameter Key Value
PARAM_VALUE 0 hub 4096-ptr_max
CAPPED_DATA 0 hub->hdev->maxchild 1
DATA_SOURCE 0 hub $0
LOCK2 &hdev->dev.mutex
LOCK2 &port_dev->status_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct device)->mutex

drivers/usb/core/hub.c hub_power_on() -> hub_is_port_power_switchable()

Type Parameter Key Value
PARAM_VALUE 0 hub 4096-ptr_max
BUF_SIZE 0 hub s32min-(-1),1-s32max
BUF_SIZE 0 hub s32min-(-1),1-s32max
DATA_SOURCE 0 hub $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hub unit_byte
HALF_LOCKED2 &hdev->dev.mutex
HALF_LOCKED2 &port_dev->status_lock