]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/l4sys/include/task
update
[l4.git] / l4 / pkg / l4sys / include / task
index f9017c3d1326c8ec7f3b3f216f0f0394ab4d27e6..e2eedea77e910e8f695876ae0bd73634c1dc9c3e 100644 (file)
@@ -71,6 +71,22 @@ public:
                           l4_utcb_t *utcb = l4_utcb()) throw()
   { return l4_task_unmap_batch_u(cap(), fpages, num_fpages, map_mask, utcb); }
 
+  /**
+   * \copydoc l4_task_delete_obj()
+   * \note \a task is the implicit \a this pointer.
+   */
+  l4_msgtag_t delete_obj(L4::Cap<void> obj,
+                         l4_utcb_t *utcb = l4_utcb()) throw()
+  { return l4_task_delete_obj_u(cap(), obj.cap(), utcb); }
+
+  /**
+   * \copydoc l4_task_release_cap()
+   * \note \a task is the implicit \a this pointer.
+   */
+  l4_msgtag_t release_cap(L4::Cap<void> cap,
+                          l4_utcb_t *utcb = l4_utcb()) throw()
+  { return l4_task_release_cap_u(this->cap(), cap.cap(), utcb); }
+
   /**
    * \copydoc l4_task_cap_valid()
    * \note \a task is the implicit \a this pointer.