Lines Matching defs:capability
63 invoke_kernel_identify_cap(capaddr_t cap, int level, struct capability *out)
69 errval_t debug_cap_identify(struct capref cap, struct capability *ret)
133 * \brief Function to do the actual printing based on the type of capability
136 int debug_print_cap(char *buf, size_t len, struct capability *cap)
314 return snprintf(buf, len, "ID capability (coreid 0x%" PRIxCOREID
319 return snprintf(buf, len, "Process manager capability");
322 return snprintf(buf, len, "Domain capability (coreid 0x%" PRIxCOREID
339 struct capability capability;
346 err = debug_cap_identify(cap, &capability);
350 return debug_print_cap(buf, len, &capability);
359 struct capability cap;
402 struct capability root_cap;
403 struct capability l2_cap;
414 int l1slots = c1size/sizeof(struct capability);