HvlGetReferenceTime

INT64 HvlGetReferenceTime(void){
  INT64 v1; 
  v1 = 0i64;
  HvlpGetRegister64(589828, &v1);
  return v1;
}