#include <l4/dm_mem/dm_mem.h>
l4dm_mem_release((void *)stack_low); //isn't used 
./kernel/arch-i386/dispatch.c

* Downside of using l4dm_mem_allocatate: granularity of pages, i.e. wastes
return l4dm_mem_allocate_named(size, 0, "l4lx-malloc");
l4dm_mem_release(ptr);
if ((ret = l4dm_mem_open(L4DM_DEFAULT_DSM, L4_PAGESIZE, L4_PAGESIZE,
l4dm_mem_addr_t phys_addrs[num_addrs];
if ((pas = l4dm_mem_phys_addr(start, size,
if ((res = l4dm_mem_open(L4DM_DEFAULT_DSM, l4env_mainmem_size,
                l4dm_memphys_show_pools();
(res = l4dm_mem_resize(&l4env_ds_mainmem,
            && (res = l4dm_memphys_poolsize(L4DM_MEMPHYS_ISA_DMA,
            && !l4dm_memphys_open(L4DM_MEMPHYS_ISA_DMA,
./kernel/main.c
#include <l4/dm_mem/dm_mem.h>
        l4dm_mem_info(&ds, &size, &owner, name, &ds.id);
                l4dm_mem_info(&ds, &size, &owner, name, &next_ds.id);
                                l4dm_mem_info(&ds, &ds_size, &ds_owner, ds_name, &ds_next);
./power/ds.c
cbass@kc85 /drops/l4linux-2.6.21/arch/l4 $ 

