/*
 * Copyright (c) 2003 Apple Computer, Inc. All rights reserved.
 *
 * @APPLE_LICENSE_HEADER_START@
 * 
 * Portions Copyright (c) 2003 Apple Computer, Inc.  All Rights
 * Reserved.  This file contains Original Code and/or Modifications of
 * Original Code as defined in and that are subject to the Apple Public
 * Source License Version 2.0 (the "License").  You may not use this file
 * except in compliance with the License.  Please obtain a copy of the
 * License at http://www.apple.com/publicsource and read it before using
 * this file.
 * 
 * The Original Code and all software distributed under the License are
 * distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY KIND, EITHER
 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE OR NON- INFRINGEMENT.  Please see the
 * License for the specific language governing rights and limitations
 * under the License.
 * 
 * @APPLE_LICENSE_HEADER_END@
 */

#include "sl.h"
#include "saio_internal.h"
#include "bootstruct.h"
#include "device_tree.h"

static long  gImageLastKernelAddr;

#define kPageSize     4096
#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)
{
    if ( bootArgs->numBootDrivers < NDRIVERS )
    {
        int num = bootArgs->numBootDrivers;

        bootArgs->driverConfig[num].address = start;
        bootArgs->driverConfig[num].size    = length;
        bootArgs->driverConfig[num].type    = type;
        bootArgs->numBootDrivers++;
    }
    else
    {
        stop( "AllocateMemoryRange error" );
    }
    return 0;
}
#endif

long
AllocateKernelMemory( long inSize )
{
    long addr;

    if (gImageLastKernelAddr == 0) {
        gImageLastKernelAddr = RoundPage( bootArgs->kaddr +
                                          bootArgs->ksize );
    }
    addr = gImageLastKernelAddr;
    gImageLastKernelAddr += RoundPage(inSize);

    if ( gImageLastKernelAddr >= (KERNEL_ADDR + KERNEL_LEN) ) {
        stop ("AllocateKernelMemory error");
    }
        
    bootArgs->ksize = gImageLastKernelAddr - bootArgs->kaddr;

    return addr;
}