Searched refs:monitor_ep (Results 1 - 12 of 12) sorted by relevance
| /barrelfish-master/kernel/ |
| H A D | cap_delete.c | 185 if (monitor_ep.u.endpointlmp.listener == dcb) {
187 monitor_ep.u.endpointlmp.listener = NULL;
188 } else if (monitor_ep.u.endpointlmp.listener != NULL) {
190 err = lmp_deliver_payload(&monitor_ep, NULL, &payload, 1, false, false);
219 if (dcb_current != monitor_ep.u.endpointlmp.listener) {
352 monitor_ep.type == ObjType_EndPointLMP &&
353 err_is_fail(lmp_can_deliver_payload(&monitor_ep, len)))
368 if (dcb_current != monitor_ep.u.endpointlmp.listener) {
380 else if (monitor_ep.type && monitor_ep
[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-master/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 | 132 extern struct capability monitor_ep;
|
| /barrelfish-master/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.endpointlmp.listener);
|
| H A D | vmx_vmkit.c | 968 errval_t err = lmp_deliver_notification(&dcb->guest_desc.monitor_ep.cap);
974 dispatch(dcb->guest_desc.monitor_ep.cap.u.endpointlmp.listener);
|
| H A D | syscall.c | 866 err = caps_copy_to_cte(&dcb->guest_desc.monitor_ep, ep_cte, false, 0, 0);
924 /* dcb->guest_desc.monitor_ep = ep_cap; */
|
| /barrelfish-master/usr/arrakismon/ |
| H A D | guest.h | 36 struct lmp_endpoint *monitor_ep; member in struct:guest
|
| H A D | guest.c | 640 err = lmp_endpoint_recv(g->monitor_ep, &buf, NULL);
651 err = lmp_endpoint_register(g->monitor_ep, get_default_waitset(), cl);
873 err = endpoint_create(LMP_RECV_LENGTH, &ep_cap, &g->monitor_ep);
881 err = lmp_endpoint_register(g->monitor_ep, get_default_waitset(), cl);
|
| /barrelfish-master/usr/vmkitmon/ |
| H A D | guest.h | 28 struct lmp_endpoint *monitor_ep; member in struct:guest
|
| H A D | guest.c | 474 err = lmp_endpoint_recv(g->monitor_ep, &buf, NULL);
485 err = lmp_endpoint_register(g->monitor_ep, get_default_waitset(), cl);
519 err = endpoint_create(LMP_RECV_LENGTH, &ep_cap, &self->monitor_ep);
527 err = lmp_endpoint_register(self->monitor_ep, get_default_waitset(), cl);
|
Completed in 127 milliseconds