dm_generic/include/consts.h [code] | Generic Dataspace manager interface, common constants |
dm_phys/include/consts.h [code] | DMphys, public constants |
dm_generic.h [code] | Generic dataspace manager interface, client API |
dm_generic.idl [code] | L4 generic dataspace manager interface |
dm_mem.h [code] | Memory dataspace manager client API |
dm_mem.idl [code] | L4 memory dataspace manager interface |
dm_phys.h [code] | Phys. memory dataspace manager client interface |
dm_phys.idl [code] | Phys. memory dataspace manager interface |
dsmlib.h [code] | Dataspace Manager support library |
types.h [code] | Generic dataspace manager interface, type definitions |