Subversion Repositories c0or1k

/*

 * Generic address space related information.

 *

 * Copyright (C) 2007-2010 Bahadir Balban

 */

#ifndef __SPACE_H__

#define __SPACE_H__

/*

 * Generic mapping flags.

 */

#define MAP_FAULT                       0

#define MAP_USR_RW                      1

#define MAP_USR_RO                      2

#define MAP_KERN_RW                     3

#define MAP_USR_IO                      4

#define MAP_KERN_IO                     5

#define MAP_USR_RWX                     6

#define MAP_KERN_RWX                    7

#define MAP_USR_RX                      8

#define MAP_KERN_RX                     9

#define MAP_UNMAP                       10      /* For unmap syscall */

#define MAP_INVALID_FLAGS               (1 << 31)

/* Some default aliases */

#define MAP_USR_DEFAULT         MAP_USR_RW

#define MAP_KERN_DEFAULT        MAP_KERN_RW

#define MAP_IO_DEFAULT          MAP_KERN_IO

#if defined (__KERNEL__)

#include <l4/lib/spinlock.h>

#include <l4/lib/list.h>

#include <l4/lib/mutex.h>

#include <l4/lib/idpool.h>

#include <l4/generic/capability.h>

#include INC_SUBARCH(mm.h)

/* A simple page table with a reference count */

struct address_space {

        l4id_t spid;

        struct link list;

        struct mutex lock;

        pgd_table_t *pgd;

        /* Capabilities shared by threads in same space */

        struct cap_list cap_list;

        int ktcb_refs;

};

struct address_space_list {

        struct link list;

        struct mutex lock;

        int count;

};

struct address_space *address_space_create(struct address_space *orig);

void address_space_delete(struct address_space *space,

                          struct ktcb *task_accounted);

void address_space_attach(struct ktcb *tcb, struct address_space *space);

struct address_space *address_space_find(l4id_t spid);

void address_space_add(struct address_space *space);

struct container;

void address_space_remove(struct address_space *space, struct container *cont);

void init_address_space_list(struct address_space_list *space_list);

int check_access(unsigned long vaddr, unsigned long size,

                 unsigned int flags, int page_in);

int check_access_task(unsigned long vaddr, unsigned long size,

                      unsigned int flags, int page_in, struct ktcb *task);

#endif

#endif /* __SPACE_H__ */