drop quite a lot of dead code that did nothing but produce warnings and make
[coreboot.git] / src / mainboard / intel / xe7501devkit / reset.c
index 7c8a729f5eab5a5cb91ababc56e77123000b06cd..7abc9e5318b913d6330640b876f9f44449602a8e 100644 (file)
@@ -1,3 +1,5 @@
+#include <reset.h>
+
 void i82801cx_hard_reset(void);
 
 void hard_reset(void)