Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vc4/vc4_hdmi.c vc4_hdmi_connector_detect_ctx() -> vc4_hdmi_handle_hotplug()

Type Parameter Key Value
PARAM_VALUE 0 vc4_hdmi 4096-ptr_max
PARAM_VALUE 0 vc4_hdmi->hpd_gpio 0,4096-u64max
PARAM_VALUE 0 vc4_hdmi->pdev 4096-ptr_max
PARAM_VALUE 0 vc4_hdmi->pdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 vc4_hdmi->pdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 vc4_hdmi->pdev->dev.power.request 0-4
PARAM_VALUE 0 vc4_hdmi->pdev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 vc4_hdmi->pdev->dev.power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 vc4_hdmi->pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 vc4_hdmi->pdev->dev.type 0,4096-ptr_max
PARAM_VALUE 0 vc4_hdmi->variant 4096-ptr_max
PARAM_VALUE 1 ctx 1046901066036633600,1883349103664168960
PARAM_VALUE 1 ctx->locked.prev 4096-ptr_max
PARAM_VALUE 1 ctx->trylock_only 0
PARAM_VALUE 2 status 1-2
DATA_SOURCE 1 ctx $1
FUZZY_MAX 2 status 2
HARD_MAX 2 status 2
MEM_ZERO 1 ctx
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &connector->dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.mutex
TYPE_LOCK (struct drm_mode_config)->connection_mutex