Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/usb/host/ehci-hcd.c ehci_stop() -> usb_amd_dev_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &companions_rwsem
HALF_LOCKED2 global &xenwatch_mutex

drivers/usb/host/xhci.c xhci_stop() -> usb_amd_dev_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &xhci->mutex
HALF_LOCKED2 global &companions_rwsem
HALF_LOCKED2 global &xenwatch_mutex
TYPE_LOCK (struct xhci_hcd)->mutex

drivers/usb/host/ohci-hcd.c ohci_stop() -> usb_amd_dev_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL