X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=blobdiff_plain;f=lib%2Fbarrelfish%2Fcapabilities.c;h=f0c313e5038600c04dbf32cb3203350b721f055e;hp=c167b77e26437f31359304b8a26fdafaa3209c80;hb=93751d0a5e46a8f299343d4cec3af642a117bd37;hpb=83ef51719466b23c8831892ebe930b8b69defdfa diff --git a/lib/barrelfish/capabilities.c b/lib/barrelfish/capabilities.c index c167b77..f0c313e 100644 --- a/lib/barrelfish/capabilities.c +++ b/lib/barrelfish/capabilities.c @@ -153,6 +153,12 @@ struct capref cap_procmng = { .slot = TASKCN_SLOT_PROC_MNG }; +/// Domain ID cap. +struct capref cap_domainid = { + .cnode = TASK_CNODE_INIT, + .slot = TASKCN_SLOT_DOMAINID +}; + /// Root PML4 VNode struct capref cap_vroot = { .cnode = PAGE_CNODE_INIT,