+long
+AllocateMemoryRange(char * rangeName, long start, long length, long type)
+{
+ char *nameBuf;
+ uint32_t *buffer;
+
+ nameBuf = malloc(strlen(rangeName) + 1);
+ if (nameBuf == 0) return -1;
+ strcpy(nameBuf, rangeName);
+
+ buffer = malloc(2 * sizeof(uint32_t));
+ if (buffer == 0) return -1;
+
+ buffer[0] = start;
+ buffer[1] = length;
+
+ DT__AddProperty(gMemoryMapNode, nameBuf, 2 * sizeof(uint32_t), (char *)buffer);
+
+ return 0;
+}
+
+#if 0