barrelfish-2018-10-04/kernel/dispatch.c

53 struct dcb *dcb_current = NULL;
60 void __attribute__ ((noreturn)) dispatch(struct dcb *dcb)
64     if (dcb == NULL) {
70     if (dcb_current != dcb) {
75                     (uint32_t)(lvaddr_t)dcb & 0xFFFFFFFF);
78         context_switch(dcb);
79         dcb_current = dcb;
82     assert(dcb != NULL);
84     dispatcher_handle_t handle = dcb->disp;
95     if (dcb->disabled) {
105         if(!dcb->is_vm_guest) {
108             vmkit_vmenter(dcb);
120         if(!dcb->is_vm_guest) {
123             vmkit_vmexec(dcb, (disp) ? disp->dispatcher_run : 0);
144 static errval_t lmp_transfer_cap(struct capability *ep, struct dcb *send,
154     struct dcb *recv = ep->u.endpoint.listener;
234     struct dcb *recv = ep->u.endpoint.listener;
284 errval_t lmp_deliver_payload(struct capability *ep, struct dcb *send,
290     struct dcb *recv = ep->u.endpoint.listener;
363 errval_t lmp_deliver(struct capability *ep, struct dcb *send,
370     struct dcb *recv = ep->u.endpoint.listener;