Searched refs:my_notify_cap (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/include/arch/x86/barrelfish/
H A Dipi_notify.h37 struct capref my_notify_cap, rmt_notify_cap, ep; member in struct:ipi_notify
44 struct capref my_notify_cap, struct capref ep,
/barrelfish-master/lib/barrelfish/arch/x86/
H A Dipi_notify.c23 uc->my_notify_cap = notify_cap;
29 struct capref my_notify_cap, struct capref ep,
33 rn->my_notify_cap = my_notify_cap;
129 cap_destroy(uc->my_notify_cap);
28 ipi_notify_init(struct ipi_notify *rn, struct capref rmt_notify_cap, struct capref my_notify_cap, struct capref ep, struct lmp_endpoint *iep) argument
/barrelfish-master/usr/monitor/arch/armv7/
H A Dboot.c75 struct capref ep, my_notify_cap; local
86 err = notification_create_cap(chanid, my_arch_id, &my_notify_cap);
98 my_notify_cap, ep, iep);
/barrelfish-master/usr/monitor/arch/x86/
H A Dboot.c81 struct capref ep, my_notify_cap; local
92 err = notification_create_cap(chanid, my_arch_id, &my_notify_cap);
104 my_notify_cap, ep, iep);
/barrelfish-master/usr/monitor/arch/armv8/
H A Dboot.c75 struct capref ep, my_notify_cap; local
86 err = notification_create_cap(chanid, my_arch_id, &my_notify_cap);
98 my_notify_cap, ep, iep);
/barrelfish-master/usr/monitor/
H A Dboot.c99 struct capref ep, my_notify_cap; local
106 err = notification_create_cap(chanid, my_arch_id, &my_notify_cap);
114 my_notify_cap, ep, iep);

Completed in 145 milliseconds