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