Searched defs:taskcn (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/lib/trace/
H A Dtrace.c83 errval_t trace_setup_child(struct cnoderef taskcn, argument
/barrelfish-master/kernel/include/
H A Dstartup.h25 struct cte *taskcn, *segcn, *supercn, *physaddrcn, *modulecn, member in struct:spawn_state
/barrelfish-master/include/spawndomain/
H A Dspawndomain.h28 struct cnoderef taskcn __attribute__ ((aligned(4))); member in struct:spawninfo
/barrelfish-master/kernel/
H A Dsyscall.c653 struct cte *taskcn = caps_locate_slot(get_address(&newroot->cap), local

Completed in 43 milliseconds