Lines Matching defs:notify_cap
318 struct capref notify_cap,
329 notify_cap);
340 me->args.notify = notify_cap;
404 struct capref notify_cap = NULL_CAP;
408 err = slot_alloc(¬ify_cap);
412 err = monitor_cap_create(notify_cap, &capability, core_id);
453 notify_cap, ib, your_mon_id);
470 struct capref notify_cap)
476 msgerr, notify_cap);
485 me->args.notify = notify_cap;
526 struct capref notify_cap = NULL_CAP;
573 err = slot_alloc(¬ify_cap);
578 err = monitor_cap_create(notify_cap, &capability, core_id);
593 notify_cap);