x86BiosWriteCmosPortByte

NTSTATUS __stdcall x86BiosWriteCmosPortByte(INT64 a1, INT64 a2, INT64 a3){
  unsigned __int8 v3; 
  NTSTATUS result; 

  v3 = a2;
  if( (a1 & 1) != 0 )
  {
    HalpAcquireCmosSpinLock(a1, a2, a3);
    __outbyte(0x70u, XmCmosAddress);
    __outbyte(0x71u, v3);
    result = _InterlockedExchange(&HalpSystemHardwareLock, -1);
    if( (_BYTE)byte_140C49EE0 )
      _enable();
  }
  else
  {
    XmCmosAddress = a2;
  }
  return result;
}

Referenced by:

x86BiosWriteCmosPort