Lines Matching refs:argcn_cap
38 struct capref argcn_cap, uint8_t flags,
98 argcn_cap);
270 struct capref argcn_cap, uint8_t flags,
315 argcn_cap, flags, domainid);
323 if (!capref_is_null(argcn_cap)) {
325 err2 = cap_delete(argcn_cap);
339 struct capref inheritcn_cap, struct capref argcn_cap, uint8_t flags,
343 envbytes, inheritcn_cap, argcn_cap, flags,
367 struct capref argcn_cap,
385 envbytes, inheritcn_cap, argcn_cap, flags,