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

Go to the documentation of this file.

/* $Id: internal.h 23198 2005-11-17 16:05:33Z doebel $ */
/*****************************************************************************/
/* (c) 2003 Technische Universitaet Dresden
 * This file is part of DROPS, which is distributed under the terms of the
 * GNU General Public License 2. Please see the COPYING file for details.
 */

#ifndef __DDE_LINUX_LIB_INCLUDE_INTERNAL_H_
#define __DDE_LINUX_LIB_INCLUDE_INTERNAL_H_

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

/* Region Handling Helpers */

struct dde_region
{
  l4_addr_t va;            
  l4_addr_t pa;            
  l4_size_t size;          
  struct dde_region *next; 
};

static inline void dde_add_region(struct dde_region **head,
                                  l4_addr_t va, l4_addr_t pa, l4_size_t size)
{
  struct dde_region *p = vmalloc(sizeof(struct dde_region));

  p->va = va;
  p->pa = pa;
  p->size = size;
  p->next = *head;

  *head = p;

  LOGd(DEBUG_MSG, "new dde_region [0x%08lx, 0x%08lx, %d]", va, pa, size);
}

static inline void dde_remove_region(struct dde_region **head,
                                     l4_addr_t va, l4_addr_t pa, l4_size_t size)
{
#if 1
  LOGdL(DEBUG_MSG, "not implemented yet");
#else
  struct dde_region *p = *head;

  LOGd(DEBUG_MSG, "remove conv_region [0x%08x, %d]", va, size);
#endif
}

#endif /* !_LIBDDE_INTERNAL_H */

---