Searched defs:dest_cspace_root (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/kernel/ | ||
| H A D | syscall.c | 265 struct capability *dest_cspace_root; local 391 struct capability *dest_cspace_root; local [all...] |
Completed in 31 milliseconds