Subversion Repositories c0or1k

/*

 * Description of resources on the system

 *

 * Copyright (C) 2009 Bahadir Balban

 */

#ifndef __RESOURCES_H__

#define __RESOURCES_H__

/* Number of containers defined at compile-time */

#include <l4/generic/capability.h>

#include <l4/lib/list.h>

#include <l4/lib/mutex.h>

#include <l4/lib/idpool.h>

#include INC_SUBARCH(mm.h)

struct boot_resources {

        int nconts;

        int ncaps;

        int nthreads;

        int nspaces;

        int npmds;

        int nmutex;

        /* Kernel resource usage */

        int nkpmds;

        int nkpgds;

        int nkcaps;

};

/* List of containers */

struct container_head {

        int ncont;

        struct link list;

        struct spinlock lock;

};

static inline void

container_head_init(struct container_head *chead)

{

        chead->ncont = 0;

        link_init(&chead->list);

        spin_lock_init(&chead->lock);

}

/* Hash table for all existing tasks */

struct ktcb_list {

        struct link list;

        struct spinlock list_lock;

        int count;

};

/*

 * Everything on the platform is described and stored

 * in the structure below.

 */

struct kernel_resources {

        l4id_t cid;

        /* System id pools */

        struct id_pool space_ids;

        struct id_pool ktcb_ids;

        struct id_pool resource_ids;

        struct id_pool container_ids;

        struct id_pool mutex_ids;

        struct id_pool capability_ids;

        /* List of all containers */

        struct container_head containers;

        /* Physical memory caps, used/unused */

        struct cap_list physmem_used;

        struct cap_list physmem_free;

        /* Virtual memory caps, used/unused */

        struct cap_list virtmem_used;

        struct cap_list virtmem_free;

        /* Device memory caps, used/unused */

        struct cap_list devmem_used;

        struct cap_list devmem_free;

        /* All other caps that belong to the kernel */

        struct cap_list non_memory_caps;

        struct mem_cache *pgd_cache;

        struct mem_cache *pmd_cache;

        struct mem_cache *ktcb_cache;

        struct mem_cache *space_cache;

        struct mem_cache *mutex_cache;

        struct mem_cache *cap_cache;

        struct mem_cache *cont_cache;

        /* Zombie thread list */

        DECLARE_PERCPU(struct ktcb_list, zombie_list);

#if defined(CONFIG_SUBARCH_V7)

        /* Global page tables on split page tables */

        pgd_global_table_t *pgd_global;

#endif

};

extern struct kernel_resources kernel_resources;

void free_pgd(void *addr);

void free_pmd(void *addr);

void free_space(void *addr, struct ktcb *task);

void free_ktcb(void *addr, struct ktcb *task);

void free_capability(void *addr);

void free_container(void *addr);

void free_user_mutex(void *addr);

pgd_table_t *alloc_pgd(void);

pmd_table_t *alloc_pmd(void);

struct address_space *alloc_space(void);

struct ktcb *alloc_ktcb(void);

struct ktcb *alloc_ktcb_use_capability(struct capability *cap);

struct capability *boot_alloc_capability(void);

struct capability *alloc_capability(void);

struct container *alloc_container(void);

struct mutex_queue *alloc_user_mutex(void);

int free_boot_memory(struct kernel_resources *kres);

int init_system_resources(struct kernel_resources *kres);

void setup_idle_caps(); /*TODO: Delete this when done with it */

#endif /* __RESOURCES_H__ */