Lines Matching refs:task
4 * Common task related definitions.
27 #include <l4/sys/task.h>
37 * by the L4Re micro kernel. A task consists of at least a memory address space
42 * \includefile{l4/sys/task}
50 * Map resources available in the source task to a destination task.
52 * \param src_task Capability selector of the source task.
54 * space or object space of the source task.
56 * of the destination task. The lower bits contain additional
63 * mappings, and IO-port mappings (on IA32) from one task to another.
64 * The destination task is the task referenced by the capability on which the
66 * task.
78 * Revoke rights from the task.
81 * of `this` task
87 * This method allows to revoke rights from the destination task. For a flex
89 * tasks that got the rights delegated from the destination task (i.e., this
105 * Revoke rights from a task.
108 * one capability space of `this` task.
136 * destination task.
150 * This operation unmaps the capability from `this` task.