Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/phy/allwinner/phy-sun4i-usb.c sun4i_usb_phy0_id_vbus_det_scan() -> sun4i_usb_phy0_set_vbus_detect()

Type Parameter Key Value
PARAM_VALUE 0 phy 4096-ptr_max
PARAM_VALUE 1 val 0
CAPPED_DATA 0 &phy->mutex 1
NOCHECK_CALL
LOCK2 0 &phy->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct phy)->mutex

drivers/phy/allwinner/phy-sun4i-usb.c sun4i_usb_phy0_id_vbus_det_scan() -> sun4i_usb_phy0_set_vbus_detect()

Type Parameter Key Value
PARAM_VALUE 0 phy 4096-ptr_max
PARAM_VALUE 1 val 1
CAPPED_DATA 0 &phy->mutex 1
NOCHECK_CALL
LOCK2 0 &phy->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct phy)->mutex

drivers/phy/allwinner/phy-sun4i-usb.c sun4i_usb_phy0_id_vbus_det_scan() -> sun4i_usb_phy0_set_vbus_detect()

Type Parameter Key Value
PARAM_VALUE 0 phy 4096-ptr_max
CAPPED_DATA 0 &phy->mutex 1
DATA_SOURCE 1 val r sun4i_usb_phy0_get_vbus_det
NOCHECK_CALL
LOCK2 0 &phy->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct phy)->mutex

drivers/phy/allwinner/phy-sun4i-usb.c sun4i_usb_phy0_id_vbus_det_scan() -> sun4i_usb_phy0_set_vbus_detect()

Type Parameter Key Value
PARAM_VALUE 0 phy 4096-ptr_max
PARAM_VALUE 1 val 0
CAPPED_DATA 0 &phy->mutex 1
NOCHECK_CALL
LOCK2 0 &phy->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct phy)->mutex

drivers/phy/allwinner/phy-sun4i-usb.c sun4i_usb_phy0_id_vbus_det_scan() -> sun4i_usb_phy0_set_vbus_detect()

Type Parameter Key Value
PARAM_VALUE 0 phy 4096-ptr_max
PARAM_VALUE 1 val 1
CAPPED_DATA 0 &phy->mutex 1
NOCHECK_CALL
LOCK2 0 &phy->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct phy)->mutex