Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/xhci-rcar.c xhci_rcar_gen2_start() -> xhci_rcar_start()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->regs 1-u64max
BUF_SIZE 0 hcd s32min-(-1),1-s32max
BUF_SIZE 0 hcd s32min-(-1),1-s32max
CAPPED_DATA 0 hcd 1
CAPPED_DATA 0 hcd->primary_hcd 1
DATA_SOURCE 0 hcd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/host/xhci-rcar.c xhci_rcar_resume_quirk() -> (struct xhci_plat_priv)->plat_start()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
BUF_SIZE 0 hcd s32min-(-2),1-s32max
BUF_SIZE 0 hcd s32min-(-2),1-s32max
CAPPED_DATA 0 hcd 1
CAPPED_DATA 0 hcd->primary_hcd 1
DATA_SOURCE 0 hcd $0
PARAM_COMPARE 0 hcd >= $0->primary_hcd
PARAM_COMPARE 0 hcd >= $0->primary_hcd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/usb/host/xhci-plat.c xhci_priv_plat_start() -> (struct xhci_plat_priv)->plat_start()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
CAPPED_DATA 0 hcd 1
CAPPED_DATA 0 hcd->primary_hcd 1
DATA_SOURCE 0 hcd $0
PARAM_COMPARE 0 hcd >= $0->primary_hcd
PARAM_COMPARE 0 hcd >= $0->primary_hcd
NOCHECK_CALL