[coreboot-gerrit] Patch set updated for coreboot: 88fc17b mainboards/asus/kfsn4-dre: Ignore Coverity false positive
Timothy Pearson (tpearson@raptorengineeringinc.com)
gerrit at coreboot.org
Fri Feb 6 23:19:13 CET 2015
Timothy Pearson (tpearson at raptorengineeringinc.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/8377
-gerrit
commit 88fc17bce1f1fbe1b98a06516ddf46ddc349e253
Author: Timothy Pearson <tpearson at raptorengineeringinc.com>
Date: Fri Feb 6 16:11:16 2015 -0600
mainboards/asus/kfsn4-dre: Ignore Coverity false positive
Change-Id: I8c0b8f4bab7ac630d48924a40b2714e21b83b572
Signed-off-by: Timothy Pearson <tpearson at raptorengineeringinc.com>
---
src/mainboard/asus/kfsn4-dre/romstage.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/mainboard/asus/kfsn4-dre/romstage.c b/src/mainboard/asus/kfsn4-dre/romstage.c
index cd8b9de..5711ff4 100644
--- a/src/mainboard/asus/kfsn4-dre/romstage.c
+++ b/src/mainboard/asus/kfsn4-dre/romstage.c
@@ -231,6 +231,7 @@ void cache_as_ram_main(unsigned long bist, unsigned long cpu_init_detectedx)
winbond_enable_serial(SERIAL_DEV, CONFIG_TTYS0_BASE);
console_init();
+ /* coverity[CONSTANT_EXPRESSION_RESULT] */
if (CONFIG_MAX_PHYSICAL_CPUS != 2)
printk(BIOS_WARNING, "CONFIG_MAX_PHYSICAL_CPUS is %d, but this is a dual socket board!\n", CONFIG_MAX_PHYSICAL_CPUS);
More information about the coreboot-gerrit
mailing list