#include "sl.h"
#include "saio_internal.h"
#include "bootstruct.h"
+#include "device_tree.h"
static long gImageLastKernelAddr;
#define RoundPage(x) ((((unsigned)(x)) + kPageSize - 1) & ~(kPageSize - 1))
+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
long
AllocateMemoryRange(char * rangeName, long start, long length, long type)
{
}
return 0;
}
+#endif
long
AllocateKernelMemory( long inSize )