diff --git a/cpukit/include/machine/_timecounter.h b/cpukit/include/machine/_timecounter.h
index 430128b5be..cfeebe5831 100644
--- a/cpukit/include/machine/_timecounter.h
+++ b/cpukit/include/machine/_timecounter.h
@@ -58,6 +58,8 @@ void   _Timecounter_Getmicrouptime(struct timeval *);
 void   _Timecounter_Getbintime(struct bintime *);
 void   _Timecounter_Getnanotime(struct timespec *);
 void   _Timecounter_Getmicrotime(struct timeval *);
+void   _Timecounter_Getboottime(struct timeval *);
+void   _Timecounter_Getboottimebin(struct bintime *);
 __END_DECLS
 
 #endif /* _MACHINE__TIMECOUNTER_H_ */