L4Re - L4 Runtime Environment
c Directory Reference
+ Directory dependency graph for c:

Directories

Files

file  dataspace.h [code]
 Data space C interface.
 
file  debug.h [code]
 Debug C interface.
 
file  dma_space.h [code]
 DMA space C interface.
 
file  event.h [code]
 Event C interface.
 
file  log.h [code]
 Log C interface.
 
file  mem_alloc.h [code]
 Memory allocator C interface.
 
file  namespace.h [code]
 Namespace functions, C interface.
 
file  rm.h [code]
 Region map interface, C interface.