SdbpMatchDeviceDWORD

__int64 __fastcall SdbpMatchDeviceDWORD(
        __int64 a1,
        unsigned int a2,
        unsigned int a3,
        unsigned __int16 a4,
        unsigned __int16 a5,
        unsigned __int16 a6){
  unsigned int v9; 
  int DeviceDWORD; 
  unsigned int v11; 
  unsigned int v12; 
  v9 = 0;
  DeviceDWORD = SdbpGetDeviceDWORD(a1, a3, a4);
  if( DeviceDWORD == -1 )
  {
    v11 = SdbpGetDeviceDWORD(a1, a3, a5);
    if( v11 == -1 || v11 >= a2 )
    {
      v12 = SdbpGetDeviceDWORD(a1, a3, a6);
      if( v12 == -1 || v12 <= a2 )
        return 1;
    }
  }
  else if( DeviceDWORD == a2 )
  {
    return 1;
  }
  return v9;
}

Referenced by:

SdbpMatchAcpi
SdbpMatchBios
SdbpMatchCpu
SdbpMatchOem