watchdog_init_timestamp
static void watchdog_init_timestamp(void)
static inline void watchdog_init_timestamp(void) { }