SdbpMatchDeviceDWORD

__int64 __fastcall SdbpMatchDeviceDWORD(_DB *pdb, unsigned int a2, unsigned int a3, UINT16 a4, __int16 a5, __int16 a6){
  unsigned int v9; 
  int DeviceDWORD; 
  unsigned int v11; 
  unsigned int v12; 

  v9 = 0;
  DeviceDWORD = SdbpGetDeviceDWORD(pdb, a3, a4);
  if( DeviceDWORD == -1 )
  {
    v11 = SdbpGetDeviceDWORD(pdb, a3, a5);
    if( v11 == -1 || v11 >= a2 )
    {
      v12 = SdbpGetDeviceDWORD(pdb, a3, a6);
      if( v12 == -1 || v12 <= a2 )
        return 1;
    }
  }
  else if( DeviceDWORD == a2 )
  {
    return 1;
  }
  return v9;
}

Referenced by:

SdbpMatchAcpi
SdbpMatchBios
SdbpMatchCpu
SdbpMatchOem