Searched refs:cnode_root (Results 1 - 10 of 10) sorted by relevance
| /barrelfish-2018-10-04/usr/init/ |
| H A D | spawn.c | 26 .cnode = cnode_root,
59 src.cnode = cnode_root;
99 src.cnode = cnode_root;
109 src.cnode = cnode_root;
|
| /barrelfish-2018-10-04/lib/barrelfish/slot_alloc/ |
| H A D | slot_alloc.c | 158 if (cnodecmp(ret.cnode, cnode_root)) {
198 cap.cnode = cnode_root;
209 cap.cnode = cnode_root;
235 err = single_slot_alloc_init_raw(&state->rootca, cap_root, cnode_root,
|
| /barrelfish-2018-10-04/usr/monitor/ |
| H A D | octopus_client.c | 74 .cnode = cnode_root,
|
| H A D | monitor_rpc_server.c | 320 .cnode = cnode_root,
|
| /barrelfish-2018-10-04/include/barrelfish/ |
| H A D | caddr.h | 101 extern struct cnoderef cnode_root, cnode_task, cnode_base, cnode_super,
|
| /barrelfish-2018-10-04/usr/acpi/ |
| H A D | acpi_allocators.c | 129 .cnode = cnode_root,
|
| /barrelfish-2018-10-04/usr/drivers/usb/usb_manager/ |
| H A D | usb_manager.c | 258 .cnode = cnode_root,
|
| /barrelfish-2018-10-04/lib/barrelfish/ |
| H A D | capabilities.c | 33 struct cnoderef cnode_root = ROOT_CNODE_INIT; variable in typeref:struct:cnoderef
920 if (!cnodecmp(capr.cnode, cnode_root)) {
|
| /barrelfish-2018-10-04/usr/ramfsd/ |
| H A D | main.c | 510 .cnode = cnode_root,
|
| /barrelfish-2018-10-04/lib/bomp/backends/ |
| H A D | xomp_worker.c | 665 .cnode = cnode_root,
|
Completed in 130 milliseconds