CHAR __fastcall HalpTimerWaitForPhase0Interrupt(INT64 a1){
unsigned int i;
int v3;
*(_DWORD *)(a1 + 64) = 0;
HalpProcessorFence();
for( i = 0; i < 0xBB8; i += 10 )
{
if( *(_DWORD *)(a1 + 64) )
goto LABEL_5;
KeStallExecutionProcessor(0x2710u);
}
v3 = *(_DWORD *)(a1 + 64);
if( v3 )
LABEL_5:
LOBYTE(v3) = 1;
return v3;
}