Subversion Repositories c0or1k

/*
 * Boot memory allocator
 *
 * Copyright (C) 2009 Bahadir Balban
 */
 
 
#include INC_ARCH(linker.h)
#include INC_GLUE(memory.h)
#include <l4/lib/printk.h>
#include <l4/generic/space.h>
 
/*
 * All memory allocated here is discarded after boot.
 * Increase this size if bootmem allocations fail.
 */
#define BOOTMEM_SIZE		(SZ_4K * 4)
SECTION(".init.bootmem") char bootmem[BOOTMEM_SIZE];
struct address_space init_space;
 
static unsigned long cursor = (unsigned long)&bootmem;
 
unsigned long bootmem_free_pages(void)
{
	return BOOTMEM_SIZE - (page_align_up(cursor) - (unsigned long)&bootmem);
}
 
void *alloc_bootmem(int size, int alignment)
{
	void *ptr;
 
	/* If alignment is required */
	if (alignment) {
		/* And cursor is not aligned */
		if (!is_aligned(cursor, alignment))
			/* Align the cursor to alignment */
			cursor = align_up(cursor, alignment);
	/* Align to 4 byte by default */
	} else if (size >= 4) {
		/* And cursor is not aligned */
		if (!is_aligned(cursor, 4))
			/* Align the cursor to alignment */
			cursor = align_up(cursor, 4);
	}
 
	/* Allocate from cursor */
	ptr = (void *)cursor;
 
	/* Update cursor */
	cursor += size;
 
	/* Check if cursor is passed bootmem area */
	if (cursor >= (unsigned long)&bootmem[BOOTMEM_SIZE]) {
		printk("Fatal: Insufficient boot memory.\n");
		BUG();
	}
 
	return ptr;
}
 
pmd_table_t *alloc_boot_pmd(void)
{
	return alloc_bootmem(sizeof(pmd_table_t), sizeof(pmd_table_t));
}