#ifndef _KERNEL_AMD64_RTC_H
#define _KERNEL_AMD64_RTC_H

#include <time.h>

void rtc_init (void);

void rtc_date_time (struct date_time* date_time);

#endif // _KERNEL_AMD64_RTC_H