Add spawn, spawn_with_caps and span calls to the Process Manager API.
[barrelfish] / include / barrelfish / caddr.h
index 4874a52..2f1ca01 100644 (file)
@@ -104,7 +104,8 @@ extern struct cnoderef cnode_root, cnode_task, cnode_base, cnode_super,
 /* well-known capabilities */
 extern struct capref cap_root, cap_monitorep, cap_irq, cap_io, cap_dispatcher,
                      cap_selfep, cap_kernel, cap_initep, cap_perfmon, cap_dispframe,
-                     cap_sessionid, cap_ipi, cap_vroot, cap_argcn, cap_procmng;
+                     cap_sessionid, cap_ipi, cap_vroot, cap_argcn, cap_procmng,
+                     cap_domainid;
 
 /**
  * \brief Returns the depth in the CSpace address of a cap