INT64 __fastcall HalpHvCounterUpdateCallback(INT64 a1){
INT64 result;
result = HalSocRequestApi(a1, (INT64)HalpHvCounterUpdateCallback, (unsigned int)a1, 8ui64, &HalpHvTimerApi);
if( (int)result < 0 )
HalpHvTimerApi = 0i64;
return result;
}