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