x86BiosWriteCmosPort

INT64 __fastcall x86BiosWriteCmosPort(INT64 a1, INT64 a2, INT64 a3){
  int v3; 
  int v4; 
  INT64 v5; 
  unsigned int v6; 
  INT64 result; 
  INT64 v8; 
  INT64 v9; 
  INT64 v10; 
  INT64 v11; 
  v3 = (unsigned __int16)a2;
  v4 = a1;
  v5 = (unsigned __int16)a2;
  LOBYTE(a2) = a3;
  v6 = a3;
  result = x86BiosWriteCmosPortByte(v5, a2, a3);
  if( v4 > 0 )
  {
    result = x86BiosWriteCmosPortByte((unsigned int)(v3 + 1), v6 >> 8, v8);
    if( v4 > 1 )
    {
      x86BiosWriteCmosPortByte((unsigned int)(v3 + 2), HIWORD(v6), v9);
      LOBYTE(v10) = HIBYTE(v6);
      return x86BiosWriteCmosPortByte((unsigned int)(v3 + 3), v10, v11);
    }
  }
  return result;
}

Referenced by: