--- xnu/xnu-792.12.6/libkern/c++/OSOrderedSet.cpp
+++ xnu/xnu-792.13.8/libkern/c++/OSOrderedSet.cpp
@@ -107,7 +107,7 @@
     flushCollection();
 
     if (array) {
-        kfree((vm_offset_t)array, sizeof(_Element) * capacity);
+        kfree(array, sizeof(_Element) * capacity);
         ACCUMSIZE( -(sizeof(_Element) * capacity) );
     }
 
@@ -145,7 +145,7 @@
 
         bcopy(array, newArray, oldSize);
         bzero(&newArray[capacity], newSize - oldSize);
-        kfree((vm_offset_t)array, oldSize);
+        kfree(array, oldSize);
         array = newArray;
         capacity = newCapacity;
     }