Internals


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.

Function Documentation

static void dde_add_region ( struct dde_region **  head,
l4_addr_t  va,
l4_addr_t  pa,
l4_size_t  size 
) [inline, static]

Internal Region Addition.

Parameters:
head head of region list
va virtual start address
pa physical start address
size region size
Test:
krishna: do we have overlapping regions in any case? we do not test for these!

Definition at line 49 of file internal.h.

static void dde_remove_region ( struct dde_region **  head,
l4_addr_t  va,
l4_addr_t  pa,
l4_size_t  size 
) [inline, static]

Internal Region Removal.

Parameters:
head head of region list
va virtual start address
pa physical start address
size region size
This removes the region described by va/pa and size from list head.

Test:
krishna: hmm, could be complicated if we free not the whole allocated region
  1. search right node
  2. remove node resp. split it up into more nodes

Definition at line 79 of file internal.h.


Linux DDE, written by Christian Helmuth  © 2003 Technische Universitaet Dresden