⬢ DragonFlyBSD Kernel Audit
DF-4601 / run.log
← back to finding ↓ download raw
PROOF-1 OK: memory_bus_width==64 (64-bit bus), but LPT_SUPPORT still 1 — guard at :802 is dead (field assigned at :810, after the check)
PROOF-2 OK: lpt_channels_num==0 at use — case 1 at :678 unreachable, LOW_POWER_TILING_MODE never programmed (falls to default at :686)
KNOCK-ON: lpt_size_alignment = 0 * 0 * 0 = 0 -> ROWS_PER_CHAN=0, addr alignment skipped, yet LOW_POWER_TILING_ENABLE=1 at :645-650 when LPT comes up
RESULT: DEFECT CONFIRMED