Searched refs:caprefdup (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/monitor/include/
H A Dqueue.h65 struct capref *caprefdup(struct capref cap);
/barrelfish-master/usr/monitor/
H A Dqueue.c193 struct capref *caprefdup(struct capref cap) function
H A Dmonitor_server.c322 capp = caprefdup(ep);
456 capp = caprefdup(ep);
H A Dinter.c223 struct capref *capp = caprefdup(cap);

Completed in 42 milliseconds