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