⬢ DragonFlyBSD Kernel Audit
DF-3826 / run.log
← back to finding ↓ download raw
case1 (all I2C ops fail, retries exhausted): acquires=9 releases=10 -> DOUBLE RELEASE
case2 (first attempt succeeds): acquires=1 releases=1 -> balanced
case3 (acquire fails): acquires=0 releases=0 -> balanced
exit=0