Lines Matching refs:Get
75 * \brief Get capability slot allocated to the given receive buffer.
111 * \brief Get given receive buffer as typed capability.
126 * \brief Get receive cap with the given index as generic (void) type.
198 * Get the server-side receive buffer demand for this object.
209 * Get the capability to the kernel object belonging to this object.
217 * Get pointer to server interface at which the object is currently registered.
269 /// Get the server-side buffer demand based in \a IFACE.
274 * Get the (typed) capability to this object.
299 * Get the (typed) capability to this object.
316 * Get the (typed) capability to this object.
541 * \brief Get the server object for an Ipc_gate label.