Lines Matching refs:dest
46 struct capref dest, src;
47 dest.cnode = si->taskcn;
48 dest.slot = TASKCN_SLOT_KERNELCAP;
51 err = cap_copy(dest, src);
57 dest.cnode = si->rootcn;
58 dest.slot = ROOTCN_SLOT_BSPKCB;
61 err = cap_copy(dest, src);
67 dest.cnode = si->taskcn;
68 dest.slot = TASKCN_SLOT_PERF_MON;
71 err = cap_copy(dest, src);
77 dest.cnode = si->taskcn;
78 dest.slot = TASKCN_SLOT_IPI;
81 err = cap_copy(dest, src);
87 dest.cnode = si->taskcn;
88 dest.slot = TASKCN_SLOT_PROC_MNG;
91 err = cap_copy(dest, src);
97 dest.cnode = si->rootcn;
98 dest.slot = ROOTCN_SLOT_MODULECN;
101 err = cap_copy(dest, src);
107 dest.cnode = si->rootcn;
108 dest.slot = ROOTCN_SLOT_PACN;
111 err = cap_copy(dest, src);
117 dest.cnode = si->taskcn;
118 dest.slot = TASKCN_SLOT_IRQ;
121 err = cap_copy(dest, src);
128 dest.cnode = si->taskcn;
129 dest.slot = TASKCN_SLOT_IO;
132 err = cap_copy(dest, src);
140 dest.cnode = si->taskcn;
141 dest.slot = TASKCN_SLOT_SYSMEM;
144 err = cap_copy(dest, src);
149 dest.cnode = si->taskcn;
150 dest.slot = TASKCN_SLOT_COREBOOT;
153 err = cap_copy(dest, src);