1 files changed, 5 insertions, 22 deletions
diff --git a/openpcd/firmware/src/picc/tc.h b/openpcd/firmware/src/picc/tc.h
index e7aa7e4..e4a2b37 100644
--- a/openpcd/firmware/src/picc/tc.h
+++ b/openpcd/firmware/src/picc/tc.h
@@ -1,28 +1,11 @@
-#ifndef _TC_H
-#define _TC_H
+#ifndef _TC_FDT_H
+#define _TC_FDT_H
 
 #include <sys/types.h>
+#include <lib_AT91SAM7.h>
 
-extern void tc_cdiv_phase_add(int16_t inc);
-extern void tc_cdiv_set_divider(u_int16_t div);
-
-static inline void tc_cdiv_phase_inc(void)
-{
-	tc_cdiv_phase_add(1);
-}
-
-static inline void tc_cdiv_phase_dec(void)
-{
-	tc_cdiv_phase_add(-1);
-}
-
-
-extern void tc_cdiv_print(void);
-extern void tc_cdiv_init(void);
-extern void tc_cdiv_fini(void);
-
-#ifdef CONFIG_PICCSIM
+extern AT91PS_TCB tcb;
+extern void tc_fdt_init(void);
 extern void tc_fdt_set(u_int16_t count);
-#endif
 
 #endif