INT64 __fastcall x86BiosWriteCmosPortByte(INT64 a1, INT64 a2, INT64 a3){
unsigned __int8 v3;
INT64 result;
v3 = a2;
if( (a1 & 1) != 0 )
{
HalpAcquireCmosSpinLock(a1, a2, a3);
__outbyte(0x70u, XmCmosAddress);
__outbyte(0x71u, v3);
result = (unsigned int)_InterlockedExchange(&HalpSystemHardwareLock, -1);
if( (_BYTE)HalpSystemHardwareLockInterruptsEnabled )
_enable();
}
else
{
XmCmosAddress = a2;
}
return result;
}