Searched refs:monitor_ep (Results 1 - 12 of 12) sorted by relevance
/barrelfish-2018-10-04/kernel/include/ |
H A D | dispatch.h | 29 struct cte monitor_ep; ///< The endpoint to the monitor member in struct:guest
|
H A D | kernel.h | 131 extern struct capability monitor_ep;
|
/barrelfish-2018-10-04/kernel/ |
H A D | cap_delete.c | 133 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 D | monitor.c | 42 monitor_ep = *ep;
|
H A D | capabilities.c | 56 struct capability monitor_ep; variable in typeref:struct:capability
|
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | svm_vmkit.c | 328 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 D | vmx_vmkit.c | 930 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 D | syscall.c | 696 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 D | guest.h | 27 struct lmp_endpoint *monitor_ep; member in struct:guest
|
H A D | guest.c | 411 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 D | guest.h | 28 struct lmp_endpoint *monitor_ep; member in struct:guest
|
H A D | guest.c | 460 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