Lines Matching refs:to
18 * this file and link it with other files to produce an executable, this
19 * file does not by itself cause the resulting executable to be covered by
37 * Factories provide an interface to create objects which are accessed via
46 * For the C interface refer to \ref l4_factory_api.
55 * Special type to add a void argument into the factory create stream.
60 * Special type to add a pascal string into the factory create stream.
77 * \param s Pointer to the c-style string.
86 * This stream allows a variable number of arguments to be
87 * added to a create() call.
106 * \param o Instance of S to move.
125 * \param obj The protocol ID to describe the type of the object
130 * \param utcb The UTCB to use for the operation.
138 * Commit the operation in the destructor to have a cool syntax for
162 * \param i The value to add as next argument.
164 * \return Reference to this stream.
174 * \param i The value to add as next argument.
176 * \return Reference to this stream.
186 * \param s The string to add as next argument.
188 * \return Reference to this stream.
200 * \param s The string to add as next argument.
202 * \return Reference to this stream.
205 * responsibility of the caller to make sure that the string is zero-
216 * \return Reference to this stream.
226 * \param d The flex page to add (there will be no map operation).
228 * \return Reference to this stream.
254 * Generic create call to the factory.
261 * \param utcb The UTCB to use for the operation.
263 * \return A create stream that allows additional arguments to be passed to
267 * when the create stream returned by this method is converted to an
270 * \note The create stream uses the UTCB to store parameters for the service
272 * converted to a `l4_msgtag_t`, other UTCB-using operations must not
285 * \tparam OBJ Capability type of the object to be created.
287 * \param utcb UTCB to use.
289 * \return A create stream that allows additional arguments to be passed to
293 * when the create stream returned by this method is converted to an
296 * \note The create stream uses the UTCB to store parameters for the service
298 * converted to a `l4_msgtag_t`, other UTCB-using operations must not
325 * map the kernel-allocated kernel-user memory to.
326 * The kernel uses the kernel-user memory to store
328 * \param utcb The UTCB to use for the operation.
333 * of UTCBs available for this task. Refer to L4::Task::add_ku_mem
336 * \note This method is only guaranteed to work with the
352 * \param utcb The UTCB to use for the operation.
356 * \note In addition to memory needed for internal data structures, the
362 * \note This method is only guaranteed to work with the
365 * information on the arguments that need to be passed to the create
378 * \param thread_cap Optional capability selector of the thread to
379 * bind the gate to. Use #L4_INVALID_CAP to create
383 * \param utcb The UTCB to use for the operation.
389 * \retval -L4_ENOENT `thread_cap` is void or points to something that is not
393 * An unbound IPC gate can be bound to a thread using
396 * \note This method is only guaranteed to work with the