Searched defs:dest_cnode_cap (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/kernel/ | ||
| H A D | syscall.c | 278 struct capability *dest_cnode_cap; local 310 struct capability *dest_cnode_cap; local 404 struct cte *dest_cnode_cap; local [all...] |
Completed in 32 milliseconds