diff --git a/src/platforms/px4_posix.h b/src/platforms/px4_posix.h
index e0d925d0c00dcf24f24dd995d111e6ee1015f310..e1b9f3c149da1148afe7082ff6179be18b4b862b 100644
--- a/src/platforms/px4_posix.h
+++ b/src/platforms/px4_posix.h
@@ -169,4 +169,14 @@ __EXPORT const char 	*px4_get_device_names(unsigned int *handle);
 
 __EXPORT void		px4_show_topics(void);
 __EXPORT const char 	*px4_get_topic_names(unsigned int *handle);
+
+#ifndef __PX4_QURT
+/*
+ * The UNIX epoch system time following the system clock
+ */
+__EXPORT unsigned long long	hrt_system_time(void);
+
+__EXPORT bool			px4_exit_requested(void);
+#endif
+
 __END_DECLS