Index: /trunk/include/iprt/cpuset.h
===================================================================
--- /trunk/include/iprt/cpuset.h	(revision 53326)
+++ /trunk/include/iprt/cpuset.h	(revision 53327)
@@ -67,4 +67,18 @@
         pSet->bmSet[i] = UINT64_MAX;
     return pSet;
+}
+
+
+/**
+ * Copies one set to another.
+ *
+ * @param   pDst    Pointer to the destination set.
+ * @param   pSrc    Pointer to the source set.
+ */
+DECLINLINE(void) RTCpuSetCopy(PRTCPUSET pDst, PRTCPUSET pSrc)
+{
+    unsigned i;
+    for (i = 0; i < RT_ELEMENTS(pDst->bmSet); i++)
+        pDst->bmSet[i] = pSrc->bmSet[i];
 }