Searched refs:HV_RTCTime (Results 1 – 3 of 3) sorted by relevance
30 HV_RTCTime hvtm = hv_get_rtc(); in read_rtc_time()54 HV_RTCTime hvtm; in set_rtc_time()
714 } HV_RTCTime; typedef719 HV_RTCTime hv_get_rtc(void);725 void hv_set_rtc(HV_RTCTime time);
206 HV_WRAP0(HV_RTCTime, hv_get_rtc)207 HV_WRAP1(void, hv_set_rtc, HV_RTCTime, time)