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

/barrelfish-master/include/barrelfish/
H A Dspawn_client.h26 #define INHERITCN_SLOT_SESSIONID 2 ///< Session ID domain belongs to macro
/barrelfish-master/lib/barrelfish/
H A Dspawn_client.c1030 .slot = INHERITCN_SLOT_SESSIONID
/barrelfish-master/lib/spawndomain/
H A Dspawn.c681 err = spawn_setup_inherited_cap(inheritcn, INHERITCN_SLOT_SESSIONID,

Completed in 40 milliseconds