/tmp/l4check/full_tree/trunk/l4/pkg/dde_linux/lib/include/internal.h File Reference

Internal Helpers / Interfaces. More...

#include <l4/util/macros.h>
#include <linux/vmalloc.h>
#include "__config.h"

Go to the source code of this file.

Classes
struct	dde_region
	region data type More...
Functions
static void	dde_add_region (struct dde_region **head, l4_addr_t va, l4_addr_t pa, l4_size_t size)
	Internal Region Addition.
static void	dde_remove_region (struct dde_region **head, l4_addr_t va, l4_addr_t pa, l4_size_t size)
	Internal Region Removal.

---

Detailed Description

Internal Helpers / Interfaces.

Date:

08/28/2003

Author:

Christian Helmuth <ch12@os.inf.tu-dresden.de>

Definition in file internal.h.