Searched defs:dcb_cap (Results 1 - 3 of 3) sorted by relevance
/barrelfish-2018-10-04/include/barrelfish/ | ||
H A D | dispatcher.h | 45 struct capref dcb_cap; member in struct:dispatcher_generic |
/barrelfish-2018-10-04/usr/arrakismon/ | ||
H A D | guest.h | 58 struct capref dcb_cap; member in struct:guest |
/barrelfish-2018-10-04/usr/vmkitmon/ | ||
H A D | guest.h | 68 struct capref dcb_cap; member in struct:guest |
Completed in 102 milliseconds