Searched refs:cnodecap (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/lib/driverkit/
H A Dddomain_service.c82 struct capref cnodecap; local
83 err = slot_alloc_root(&cnodecap);
85 err = cap_copy(cnodecap, cap_array[0]);
88 .cnode = build_cnoderef(cnodecap, CNODE_TYPE_OTHER)
/barrelfish-2018-10-04/lib/pci/
H A Dpci_driver_client.c93 struct capref cnodecap; local
94 err = slot_alloc_root(&cnodecap);
103 err = cap_copy(cnodecap, caps[0]);
104 pdc->arg_cnode = build_cnoderef(cnodecap, CNODE_TYPE_OTHER);

Completed in 58 milliseconds