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);
368 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1,
377 ns->ram = cap1;
390 err = cap_destroy(cap1);
412 err = cap_retype(ns->ramcopies[i], cap1, i*BASE_PAGE_SIZE,
421 err = cap_copy(ns->ramcopies[i], cap1);
425 err = cap_destroy(cap1);
434 debug_capref("cap1:", cap1);