Searched refs:HV_RTCTime (Results 1 – 2 of 2) sorted by relevance
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)