SdbReadWORDTag

__int64 __fastcall SdbReadWORDTag(__int64 a1, UINT64 a2, unsigned __int16 a3){
  unsigned int v4; 
  int v6; 
  unsigned __int16 v7; 
  int TagFromTagID; 
  unsigned __int16 v10; 
  v10 = a3;
  v4 = a2;
  if( (SdbGetTagFromTagID(a1, a2) & 0xF000) == 12288 )
  {
    v6 = SdbpReadTagData(a1, v4, &v10, 2u);
    v7 = v10;
    if( !v6 )
      return a3;
    return v7;
  }
  else
  {
    TagFromTagID = (unsigned __int16)SdbGetTagFromTagID(a1, v4);
    AslLogCallPrintf(
      1ui64,
      "SdbReadWORDTag",
      0x8Fui64,
      "TagID 0x%X, Tag 0x%X not of the expected type",
      v4,
      TagFromTagID);
    return a3;
  }
}

Referenced by: