Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/usb/typec/ucsi/ucsi_acpi.c ucsi_acpi_notify() -> ucsi_notify_common()

Type Parameter Key Value
PARAM_VALUE 0 ucsi 4096-ptr_max
PARAM_VALUE 0 ucsi->ops 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/usb/typec/ucsi/ucsi_yoga_c630.c yoga_c630_ucsi_notify() -> ucsi_notify_common()

Type Parameter Key Value
PARAM_VALUE 0 ucsi 4096-ptr_max
PARAM_VALUE 0 ucsi->ops 4096-ptr_max
NOCHECK_CALL

drivers/usb/typec/ucsi/cros_ec_ucsi.c cros_ucsi_work() -> ucsi_notify_common()

Type Parameter Key Value
PARAM_VALUE 0 ucsi 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/usb/typec/ucsi/ucsi_ccg.c ccg_irq_handler() -> ucsi_notify_common()

Type Parameter Key Value
PARAM_VALUE 1 cci 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/typec/ucsi/ucsi_glink.c pmic_glink_ucsi_notify() -> ucsi_notify_common()

Type Parameter Key Value
PARAM_VALUE 0 ucsi 4096-ptr_max
PARAM_VALUE 1 cci 0-255
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/usb/typec/ucsi/ucsi_huawei_gaokun.c gaokun_ucsi_notify() -> ucsi_notify_common()

Type Parameter Key Value
PARAM_VALUE 0 ucsi 4096-ptr_max
NOCHECK_CALL

drivers/usb/typec/ucsi/ucsi_stm32g0.c ucsi_stm32g0_irq_handler() -> ucsi_notify_common()

Type Parameter Key Value
PARAM_VALUE 0 ucsi 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL