DmrGetNextDrhdDeviceScope

UINT64 __stdcall 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