4 files changed, 0 insertions, 49 deletions
diff --git a/src/include/part/fallback_boot.h b/src/include/part/fallback_boot.h
deleted file mode 100644
index be4e3989bd..0000000000
--- a/src/include/part/fallback_boot.h
+++ /dev/null
@@ -1,18 +0,0 @@
-#ifndef PART_FALLBACK_BOOT_H
-#define PART_FALLBACK_BOOT_H
-
-#ifndef ASSEMBLY
-
-#if CONFIG_HAVE_FALLBACK_BOOT == 1
-void set_boot_successful(void);
-#else
-#define set_boot_successful()
-#endif
-
-void boot_successful(void);
-
-#endif /* ASSEMBLY */
-
-#define RTC_BOOT_BYTE	48
-
-#endif /* PART_FALLBACK_BOOT_H */
diff --git a/src/include/part/hard_reset.h b/src/include/part/hard_reset.h
deleted file mode 100644
index cbfc747d1e..0000000000
--- a/src/include/part/hard_reset.h
+++ /dev/null
@@ -1,11 +0,0 @@
-#ifndef PART_HARD_RESET_H
-#define PART_HARD_RESET_H
-
-#if CONFIG_HAVE_HARD_RESET == 1
-void hard_reset(void);
-#else
-#define hard_reset() do {} while(0)
-#endif
-
-
-#endif
diff --git a/src/include/part/init_timer.h b/src/include/part/init_timer.h
deleted file mode 100644
index 61142964a2..0000000000
--- a/src/include/part/init_timer.h
+++ /dev/null
@@ -1,10 +0,0 @@
-#ifndef PART_INIT_TIMER_H
-#define PART_DELAY_H
-
-#if CONFIG_HAVE_INIT_TIMER == 1
-void init_timer(void);
-#else
-#define init_timer() do{} while(0)
-#endif
-
-#endif /* PART_INIT_TIMER_H */
diff --git a/src/include/part/watchdog.h b/src/include/part/watchdog.h
deleted file mode 100644
index 26b537dbe9..0000000000
--- a/src/include/part/watchdog.h
+++ /dev/null
@@ -1,10 +0,0 @@
-#ifndef PART_WATCHDOG_H
-#define PART_WATCHDOG_H
-
-#if CONFIG_USE_WATCHDOG_ON_BOOT == 1
-void watchdog_off(void);
-#else
-#define watchdog_off()
-#endif
-
-#endif /* PART_WATCHDOG_H */