⬢ DragonFlyBSD Kernel Audit
DF-5078 / fix_run.log
← back to finding ↓ download raw
== fix validation run (replica fixed mode = fix.diff shape applied; kernel path hardware-gated: no AMD GPU on guest) ==
== kernel-module validation: see fix_build.log (amdgpu.ko rebuilt rc=0 with the fix, 0 errors/0 warnings -Werror) ==

=== fixed ===
== DF-5078 replica: dce120 table VLINE0 gap (84..89) -> NULL .funcs dispatch ==
mode: FIXED (six VLINE0 dummy_irq_entry()s — fix.diff)

enum: VBLANK6=83 DC1_VLINE0=84 DC6_VLINE0=89 DAL_IRQ_SOURCES_NUMBER=90

[audit] NULL-funcs entries: none (0 NULL-funcs slots)
[ctl] ack(OOB=90) rejected: DC_IRQ_ERR: dal_irq_service_ack: cannot find irq info table entry for 90
yes
[ctl] set(PFLIP1) generic path: ok (enable_reg now 0x40)
[ctl] hpd_ack(HDP1) polarity toggle: ok (polarity bit now 0)
[ctl] VBLANK1..6 through dce110_vblank_set (real conversion, pipes 0..5):
      arm_vert_intr(tg->pipe_idx=0, id=2)
      arm_vert_intr(tg->pipe_idx=1, id=2)
      arm_vert_intr(tg->pipe_idx=2, id=2)
      arm_vert_intr(tg->pipe_idx=3, id=2)
      arm_vert_intr(tg->pipe_idx=4, id=2)
      arm_vert_intr(tg->pipe_idx=5, id=2)

[ctl] to_dal sweep 256 src x 13 ext: 0 return(s) in 84..89 (latent gap: no in-tree caller reaches it)

[trigger] set/ack(DC_IRQ_SOURCE_DC1_VLINE0) with the fixed table: dummy handlers log-and-return, no fault
DC_IRQ_ERR: dal_irq_service_dummy_ack: called for non-implemented irq source
DC_IRQ_ERR: dal_irq_service_dummy_ack: called for non-implemented irq source
DC_IRQ_ERR: dal_irq_service_dummy_set: called for non-implemented irq source

fixed: 0 faults, all controls ok -> exit 0
fixed exit=0