Searched refs:my_notify_cap (Results 1 - 6 of 6) sorted by relevance
/barrelfish-master/include/arch/x86/barrelfish/ |
H A D | ipi_notify.h | 37 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 D | ipi_notify.c | 23 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 D | boot.c | 75 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 D | boot.c | 81 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 D | boot.c | 75 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 D | boot.c | 99 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