#ifndef RTC_H
#define RTC_H

#include <stdint.h>

uint64_t rtc_time_read(void);
void     rtc_time_set(uint64_t ns);

void     rtc_alarm_set(uint64_t ns);
uint64_t rtc_alarm_read(void);
void     rtc_alarm_enable(void);
void     rtc_alarm_disable(void);
uint32_t rtc_alarm_status(void);

#endif // RTC_H