Searched refs:HV_RTCTime (Results 1 – 1 of 1) sorted by relevance
599 } HV_RTCTime; typedef604 HV_RTCTime hv_get_rtc(void);610 void hv_set_rtc(HV_RTCTime time);