Subversion Repositories c0or1k

/*

 * Data that comes from the kernel, and other init data.

 *

 * Copyright (C) 2007 Bahadir Balban

 */

#ifndef __MM_INIT_H__

#define __MM_INIT_H__

#include <l4/macros.h>

#include <l4/config.h>

#include <l4/types.h>

#include INC_PLAT(offsets.h)

#include INC_GLUE(memory.h)

#include INC_GLUE(memlayout.h)

#include <bootdesc.h>

#include <physmem.h>

#include <vm_area.h>

#include <capability.h>

struct initdata {

        struct bootdesc *bootdesc;

        struct page_bitmap *page_map;

        unsigned long pager_utcb_virt;

        unsigned long pager_utcb_phys;

        struct link boot_file_list;

};

extern struct initdata initdata;

void init(void);

void copy_boot_capabilities(int ncaps);

/* TODO: Remove this stuff from here. */

int init_devzero(void);

struct vm_file *get_devzero(void);

int init_execve(char *path);

#endif /* __MM_INIT_H__ */