• dsmlib_get_id : dsmlib.h
• dsmlib_next_ds : dsmlib.h
• dsmlib_prev_ds : dsmlib.h
• L4DM_ALL_RIGHTS : consts.h
• L4DM_CONTIGUOUS : consts.h
• L4DM_COW : consts.h
• L4DM_DEFAULT_DSM : consts.h
• L4DM_INVALID_DATASPACE : types.h
• L4DM_INVALID_DATASPACE_INITIALIZER : types.h
• L4DM_MAP_MORE : consts.h
• L4DM_MAP_PARTIAL : consts.h
• L4DM_PINNED : consts.h
• L4DM_READ : consts.h
• L4DM_RESIZE : consts.h
• L4DM_RO : consts.h
• L4DM_RW : consts.h
• L4DM_SAME_TASK : consts.h
• L4DM_WHOLE_DS : consts.h
• L4DM_WRITE : consts.h