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()
711 } HV_RTCTime; typedef716 HV_RTCTime hv_get_rtc(void);722 void hv_set_rtc(HV_RTCTime time);
204 HV_WRAP0(HV_RTCTime, hv_get_rtc)205 HV_WRAP1(void, hv_set_rtc, HV_RTCTime, time)