#if !defined RTC_H
#define RTC_H
#include <inttypes.h>
uint32_t rtc_get(void);
void rtc_init(uint32_t rtc_time);
#endif // RTC_H