Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/i915/intel_uncore.c intel_uncore_forcewake_flush() -> intel_uncore_fw_release_timer()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->is_queued 0
PARAM_VALUE 0 timer->node.node.next 0
PARAM_VALUE 0 timer->node.node.prev 0
NOCHECK_CALL

drivers/gpu/drm/i915/intel_uncore.c intel_uncore_forcewake_reset() -> intel_uncore_fw_release_timer()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->is_queued 0
PARAM_VALUE 0 timer->node.node.next 0
PARAM_VALUE 0 timer->node.node.prev 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/time/hrtimer.c __run_hrtimer() -> __run_hrtimer ptr fn()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->is_queued 0
CAPPED_DATA 0 timer 1
DATA_SOURCE 0 timer $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq