DmrGetNextDrhdDeviceScope

UINT64 __fastcall DmrGetNextDrhdDeviceScope(UINT64 a1, UINT64 a2){
  UINT64 v3; 
  v3 = a1 + *(unsigned __int16 *)(a1 + 2);
  if( v3 > a1 )
    return DmrGetNextDeviceScope(a1 + 16, v3, a2);
  else
    return 0i64;
}

Referenced by:

DmrFindDrhdForDeviceScope
DmrValidateDeviceScope
HalpIvtProcessDrhdEntry