#include "../include/microfx/microfx.h"

void _RTC_GetTime(unsigned int *hour, unsigned int *minute,
    unsigned int *second, unsigned int *millisecond);

void rgettime(MRtc *rtc) {
    _RTC_GetTime((unsigned int *)&rtc->hour, (unsigned int *)&rtc->minute,
    (unsigned int *)&rtc->second, (unsigned int *)&rtc->millisecond);
}