Searched refs:caps_copy_to_cte (Results 1 - 11 of 11) sorted by path

/barrelfish-2018-10-04/kernel/arch/arm/
H A Dirq.c65 err = caps_copy_to_cte(&irq_dispatch[nidt], recv, false, 0, 0);
/barrelfish-2018-10-04/kernel/arch/x86/
H A Dipi_notify.c70 return caps_copy_to_cte(&endpoints[chanid], recv, false, 0, 0);
/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dirq.c541 caps_copy_to_cte(&kcb_current->irq_dispatch[dest_vec],
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dirq.c590 caps_copy_to_cte(&kcb_current->irq_dispatch[dest_vec],
H A Dsyscall.c696 err = caps_copy_to_cte(&dcb->guest_desc.monitor_ep, ep_cte, false, 0, 0);
725 err = caps_copy_to_cte(&dcb->guest_desc.vmcb, vmcb_cte, false, 0, 0);
741 err = caps_copy_to_cte(&dcb->guest_desc.ctrl, ctrl_cte, false, 0, 0);
/barrelfish-2018-10-04/kernel/
H A Dcap_delete.c709 err = caps_copy_to_cte(ret_cte, target, false, 0, 0);
H A Dcapabilities.c1762 return caps_copy_to_cte(dest_cte, src_cte, mint, param1, param2);
1768 errval_t caps_copy_to_cte(struct cte *dest_cte, struct cte *src_cte, bool mint, function
H A Ddispatch.c208 err = caps_copy_to_cte(recv_cte, send_cte, false, 0, 0);
H A Dstartup.c259 err = caps_copy_to_cte(&init_dcb->disp_cte, init_dispframe_cte, false, 0, 0);
326 err = caps_copy_to_cte(&init_dcb->cspace, rootcn, 0, 0, 0);
H A Dsyscall.c97 err = caps_copy_to_cte(&dcb->cspace, root, false, 0, 0);
99 debug(SUBSYS_CAPS, "caps_copy_to_cte for croot: %"PRIuERRV"\n", err);
136 err = caps_copy_to_cte(&dcb->disp_cte, dispcte, false, 0, 0);
581 err = caps_copy_to_cte(dest, src, false, 0, 0);
589 err = caps_copy_to_cte(ret, cte_for_cap(root), false, 0, 0);
599 err = caps_copy_to_cte(&dcb_current->cspace, newroot, false, 0, 0);
614 err = caps_copy_to_cte(rootcn_cap, newroot, false, 0, 0);
/barrelfish-2018-10-04/kernel/include/
H A Dcapabilities.h124 errval_t caps_copy_to_cte(struct cte *dest_cte, struct cte *src_cte, bool mint,

Completed in 163 milliseconds