Lines Matching refs:cap1
186 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1,
195 gs->fwdcap = cap1;
196 multicast_caps(BENCH_CMD_FORWARD_COPIES, arg, cap1, cores, gs->copycount);
203 debug_capref("cap1:", cap1);
365 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1,
374 ns->ram = cap1;
387 err = cap_destroy(cap1);
407 err = cap_retype(ns->ramcopies[i], cap1,
416 err = cap_destroy(cap1);
425 debug_capref("cap1:", cap1);