INT64 __fastcall HalpWriteStdCmosData(INT64 a1, INT64 a2, INT64 a3){
unsigned int v4;
unsigned int v5;
__int64 v6;
v4 = a1 + a3;
v5 = a1;
HalpAcquireCmosSpinLock(a1, a2, a3);
v6 = 0i64;
while( v5 < v4 )
{
__outbyte(0x70u, v5);
__outbyte(0x71u, *(_BYTE *)(v6 + a2));
++v5;
v6 = (unsigned int)(v6 + 1);
}
_InterlockedExchange(&HalpSystemHardwareLock, -1);
if( (_BYTE)HalpSystemHardwareLockInterruptsEnabled )
_enable();
return(unsigned int)v6;
}