Gigabyte dual bios mainboard will always reboot, caused by the superio.

[coreboot.git] / src / superio / ite / it8718f / it8718f.h

diff --git a/src/superio/ite/it8718f/it8718f.h b/src/superio/ite/it8718f/it8718f.h
index 1967d25b5f2eac49873029e767c321b988a0a9a8..c441db3fbd42a0c4844d9e6928a8222e0cfb4bc7 100644 (file)
--- a/src/superio/ite/it8718f/it8718f.h
+++ b/src/superio/ite/it8718f/it8718f.h
@@ -32,6 +32,7 @@
 
 #if defined(__PRE_RAM__) && !defined(__ROMCC__)
 void it8718f_24mhz_clkin(void);
+void it8718f_disable_reboot(void);
 void it8718f_enable_serial(device_t dev, unsigned iobase);
 #endif