x86BiosReadCmosPort

INT64 __fastcall x86BiosReadCmosPort(INT64 a1, INT64 a2, INT64 a3){
  int v3; 
  int v4; 
  INT64 v5; 
  unsigned int CmosPortByte; 
  INT64 v7; 
  INT64 v8; 
  INT64 v9; 
  int v10; 
  INT64 v11; 
  INT64 v12; 
  v3 = a1;
  v4 = (unsigned __int16)a2;
  CmosPortByte = x86BiosReadCmosPortByte((unsigned __int16)a2, a2, a3);
  if( v3 > 0 )
  {
    CmosPortByte |= x86BiosReadCmosPortByte((unsigned int)(v4 + 1), v5, v7) << 8;
    if( v3 > 1 )
    {
      v10 = x86BiosReadCmosPortByte((unsigned int)(v4 + 3), v8, v9) << 8;
      CmosPortByte |= (v10 | x86BiosReadCmosPortByte((unsigned int)(v4 + 2), v11, v12)) << 16;
    }
  }
  return CmosPortByte;
}

Referenced by: