-extern void commpage_set_timestamp(uint64_t tbr,uint32_t secs,uint32_t usecs,uint32_t ticks_per_sec);
-extern int commpage_time_dcba( void );
+#define commpage_disable_timestamp() commpage_set_timestamp( 0, 0, 0 )
+
+extern int commpage_time_dcba( void );