Subversion Repositories c0or1k

/*
 * Definitions for Codezero Containers
 *
 * Copyright (C) 2009 Bahadir Balban
 */
#ifndef __CONTAINER_H__
#define __CONTAINER_H__
 
#include <l4/generic/scheduler.h>
#include <l4/generic/space.h>
#include <l4/generic/capability.h>
#include <l4/generic/resource.h>
#include <l4/generic/tcb.h>
#include <l4/lib/idpool.h>
#include <l4/api/mutex.h>
#include <l4/lib/list.h>
#include <l4/lib/idpool.h>
 
#define curcont			(current->container)
 
#define CONFIG_CONTAINER_NAMESIZE		64
#define CONFIG_MAX_CAPS_USED			16
#define CONFIG_MAX_PAGERS_USED			1
 
/* Container macro. No locks needed! */
 
struct pager {
	struct ktcb *tcb;
	unsigned long start_lma;
	unsigned long start_vma;
	unsigned long start_address;
	unsigned long stack_address;
	unsigned long memsize;
	struct cap_list cap_list;
 
	/*
	 * Section markings,
	 * We dont care for other types of sections,
	 * RO will be included inside RX.
	 */
	unsigned long rw_sections_start;
	unsigned long rw_sections_end;
	unsigned long rx_sections_start;
	unsigned long rx_sections_end;
};
 
 
struct container {
	l4id_t cid;				/* Unique container id */
	int npagers;				/* # of pagers */
	struct link list;			/* List ref for containers */
	struct address_space_list space_list;	/* List of address spaces */
	char name[CONFIG_CONTAINER_NAMESIZE];	/* Name of container */
	struct ktcb_list ktcb_list;		/* List of threads */
	struct link pager_list;			/* List of pagers */
 
	struct id_pool *thread_id_pool;		/* Id pools for thread/spaces */
	struct id_pool *space_id_pool;
 
	struct mutex_queue_head mutex_queue_head; /* Userspace mutex list */
	struct cap_list cap_list; 		/* Capabilities shared by whole container */
	struct pager *pager;			/* Boot-time array of pagers */
};
 
/* Compact, raw capability structure */
struct cap_info {
	l4id_t target;
	unsigned int type;
	u32 access;
	unsigned long start;
	unsigned long end;
	unsigned long size;
	unsigned int attr;	/* Attributes (like device types) */
	l4id_t irq;
};
 
 
struct pager_info {
	unsigned long pager_lma;
	unsigned long pager_vma;
	unsigned long pager_size;
	unsigned long start_address;
	unsigned long stack_address;
 
	/*
	 * Section markings,
	 * We dont care for other types of sections,
	 * RO will be included inside RX.
	 */
	unsigned long rw_sections_start;
	unsigned long rw_sections_end;
	unsigned long rx_sections_start;
	unsigned long rx_sections_end;
 
	/* Number of capabilities defined */
	int ncaps;
 
	/*
	 * Zero or more ipc caps,
	 * One or more thread pool caps,
	 * One or more space pool caps,
	 * One or more exregs caps,
	 * One or more tcontrol caps,
	 * One or more cputime caps,
	 * One or more physmem caps,
	 * One or more virtmem caps,
	 * Zero or more umutex caps,
	 */
	struct cap_info caps[CONFIG_MAX_CAPS_USED];
};
 
/*
 * This auto-generated structure is
 * used to create run-time containers
 */
struct container_info {
	char name[CONFIG_CONTAINER_NAMESIZE];
	int npagers;
	struct pager_info pager[CONFIG_MAX_PAGERS_USED];
};
 
extern struct container_info cinfo[];
 
void kres_insert_container(struct container *c,
			    struct kernel_resources *kres);
 
struct container *container_create(void);
 
int container_init_pagers(struct kernel_resources *kres);
 
int init_containers(struct kernel_resources *kres);
struct container *container_find(struct kernel_resources *kres, l4id_t cid);
 
#endif /* __CONTAINER_H__ */