# include "xtime.h"
+#ifdef __cplusplus
+extern "C" {
+#endif
+
/* Get the current time, as a count of the number of nanoseconds since
an arbitrary epoch (e.g., the system boot time). Prefer a
high-resolution clock that is not subject to resetting or
xtime_t gethrxtime (void);
# endif
+#ifdef __cplusplus
+}
+#endif
+
#endif