Lines Matching defs:capability
69 * \brief A newly booted monitor indicates that can participate in capability
340 struct capability vnode_cap = {
360 struct capability dispframe_cap = {
446 struct capability tracecapa;
465 struct capability capability;
466 caprep_to_capability(&caprep, &capability);
467 assert(capability.type != ObjType_Null);
472 errval_t err = monitor_cap_create(trace_cap, &capability, my_core_id);
648 struct capability kcb_cap;