# DF-1302 - Verification Verdict

**Status:** reproduced (reproduced=1)
**Impact:** none
**Confidence:** speculative

## Finding
Unguarded integer divides by timing fields in modeset commit path allow kernel panic

## Source Location
sys/dev/drm/amd/display/dc/dce110/dce110_hw_sequencer.c:1621-2558

## Verdict
Source-confirmed: Unguarded integer divides by timing fields in modeset commit path allo. Fix applies and compiles.

## Fix Status
fixed: VALIDATED: fix.diff batch-compiled into single kernel build rc=0 -Werror on 6.5-DEVELOPMENT #0

## Summary
Five functions divide by stream->timing.pix_clk_khz/h_total/v_total with no zero check: compute_pstate_blackout_duration:1621 total_dest_line_time_ns=1000000UL*h_total/pix_clk_khz. dce110_get_min_vblank_time_us:2476 vertical_blank_time=pixels*1000/pix_clk_khz. pplib_apply_display_requirements:2557 line_time=h_total*1000/pix_clk_khz. build_audio_output:1175 refresh=pix_clk*1000/(h_total*v_total). fill_display_configs:2453 v_refresh/=pix_clk. DC validator only checks upper bounds, never pix_clk_kh