Searched defs:kcb_current (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/kernel/ | ||
H A D | startup.c | 28 struct kcb *kcb_current = NULL; variable in typeref:struct:kcb |
/barrelfish-master/tools/schedsim/ | ||
H A D | simulator.c | 78 struct kcb *kcb_current = &curr; variable in typeref:struct:kcb |
Completed in 71 milliseconds