Searched refs:monitor_ep (Results 1 - 12 of 12) sorted by relevance

/barrelfish-2018-10-04/kernel/include/
H A Ddispatch.h29 struct cte monitor_ep; ///< The endpoint to the monitor member in struct:guest
H A Dkernel.h131 extern struct capability monitor_ep;
/barrelfish-2018-10-04/kernel/
H A Dcap_delete.c133 if (monitor_ep.u.endpoint.listener == dcb) {
135 monitor_ep.u.endpoint.listener = NULL;
136 } else if (monitor_ep.u.endpoint.listener != NULL) {
138 err = lmp_deliver_payload(&monitor_ep, NULL, &payload, 1, false, false);
272 monitor_ep.type == ObjType_EndPoint &&
273 err_is_fail(lmp_can_deliver_payload(&monitor_ep, len)))
287 if (dcb_current != monitor_ep.u.endpoint.listener) {
299 else if (monitor_ep.type && monitor_ep.u.endpoint.listener != 0) {
308 err = lmp_deliver_payload(&monitor_ep, NUL
[all...]
H A Dmonitor.c42 monitor_ep = *ep;
H A Dcapabilities.c56 struct capability monitor_ep; variable in typeref:struct:capability
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dsvm_vmkit.c328 errval_t err = lmp_deliver_notification(&dcb->guest_desc.monitor_ep.cap);
334 dispatch(dcb->guest_desc.monitor_ep.cap.u.endpoint.listener);
H A Dvmx_vmkit.c930 errval_t err = lmp_deliver_notification(&dcb->guest_desc.monitor_ep.cap);
936 dispatch(dcb->guest_desc.monitor_ep.cap.u.endpoint.listener);
H A Dsyscall.c696 err = caps_copy_to_cte(&dcb->guest_desc.monitor_ep, ep_cte, false, 0, 0);
754 /* dcb->guest_desc.monitor_ep = ep_cap; */
/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h27 struct lmp_endpoint *monitor_ep; member in struct:guest
H A Dguest.c411 err = lmp_endpoint_recv(g->monitor_ep, &buf, NULL);
422 err = lmp_endpoint_register(g->monitor_ep, get_default_waitset(), cl);
458 err = endpoint_create(LMP_RECV_LENGTH, &ep_cap, &g->monitor_ep);
466 err = lmp_endpoint_register(g->monitor_ep, get_default_waitset(), cl);
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h28 struct lmp_endpoint *monitor_ep; member in struct:guest
H A Dguest.c460 err = lmp_endpoint_recv(g->monitor_ep, &buf, NULL);
471 err = lmp_endpoint_register(g->monitor_ep, get_default_waitset(), cl);
505 err = endpoint_create(LMP_RECV_LENGTH, &ep_cap, &self->monitor_ep);
513 err = lmp_endpoint_register(self->monitor_ep, get_default_waitset(), cl);

Completed in 81 milliseconds