UINT8 __fastcall x86BiosReadCmosPortByte(INT64 a1, INT64 a2, INT64 a3){
UINT8 v3;
UINT8 v4;
if( (a1 & 1) == 0 )
return XmCmosAddress;
HalpAcquireCmosSpinLock(a1, a2, a3);
__outbyte(0x70u, XmCmosAddress);
v3 = __inbyte(0x71u);
v4 = v3;
_InterlockedExchange(&HalpSystemHardwareLock, -1);
if( (_BYTE)HalpSystemHardwareLockInterruptsEnabled )
_enable();
return v4;
}