Searched refs:TASKCN_SLOT_DOMAINID (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dinit.h99 #define TASKCN_SLOT_DOMAINID 19 ///< Domain ID cap macro
/barrelfish-2018-10-04/usr/spawnd/
H A Dservice.c153 dest.slot = TASKCN_SLOT_DOMAINID;
507 dest.slot = TASKCN_SLOT_DOMAINID;
/barrelfish-2018-10-04/lib/barrelfish/
H A Dcapabilities.c159 .slot = TASKCN_SLOT_DOMAINID

Completed in 42 milliseconds