/tmp/l4check/full_tree/trunk/l4/pkg/dde_linux/lib/src/address.c

Go to the documentation of this file.

/* $Id: address.c 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.
 */

/* L4 */
#include <l4/env/errno.h>

#include <l4/dde_linux/dde.h>

/* local */
#include "__config.h"
#include "internal.h"

static struct dde_region *conv = NULL;

void l4dde_add_region(l4_addr_t va, l4_addr_t pa, l4_size_t size)
{
  dde_add_region(&conv, va, pa, size);
}

void l4dde_remove_region(l4_addr_t va, l4_size_t size)
{
  dde_remove_region(&conv, va, 0, size);
}

void *__va(volatile unsigned long paddr)
{
  struct dde_region *p;
  void *pp;

  /* look in conversion table/list */
  p = conv;
  while (p)
    {
      if ((p->pa <= paddr) && (p->pa + p->size > paddr))
        {
          pp = (void *) (p->va + (paddr - p->pa));
#if DEBUG_ADDRESS
          LOG("__va(0x%lx) => %p\n", paddr, pp);
#endif
          return pp;
        }
      p = p->next;
    }

  Panic("no virtual address found for 0x%lx", paddr);
  return NULL;
}

unsigned long __pa(volatile void *vaddr)
{
  struct dde_region *p;
  unsigned long pp;
  unsigned long addr = (unsigned long) vaddr;

  /* look in conversion table/list */
  p = conv;
  while (p)
    {
      if ((p->va <= addr) && (p->va + p->size > addr))
        {
          pp = p->pa + (addr - p->va);
#if DEBUG_ADDRESS
          LOG("__pa(0x%lx) => 0x%lx\n", addr, pp);
#endif
          return pp;
        }
      p = p->next;
    }

  Panic("no physical address found for %p", vaddr);
  return 0;
}

---