⬢ DragonFlyBSD Kernel Audit
DF-5132 / check_static.log
← back to finding ↓ download raw
== DF-5133: amdgpu_kv_notify_message_to_smu fail-open response validation ==
PASS  PPSMC_Result_OK == 0x01 (67:#define PPSMC_Result_OK             ((uint8_t)0x01))
PASS  kv_smc.c:47-54: nested ifs reject only 0xFF/0xFE; 'return 0' reachable with tmp==0x00 (timeout) and 0x02..0xFD
PASS  kv_smc.c:40-44: loop breaks on any nonzero response; exhausting it leaves tmp==0
PASS  ci_smc.c amdgpu_ci_send_msg_to_smc returns raw result (timeout != PPSMC_Result_OK is visible to callers)
NOTE  radeon/kv_smc.c:44-51 twin carries the same fall-through
== result: ALL STATIC ASSERTIONS PASS ==