INT64 __fastcall HalpTimerRegisterBuiltinPluginsCommon(INT64 a1){
int v1;
INT64 result;
INT64 v3;
v1 = a1;
result = HalpTimerRegisterBuiltinPlugins(a1);
if( (int)result >= 0 && v1 == 1 )
{
result = HalpHvDiscover(v3);
if( (int)result >= 0 )
return HalpWdatDiscover();
}
return result;
}