Searched refs:caps_copy_to_cte (Results 1 - 11 of 11) sorted by path
/barrelfish-2018-10-04/kernel/arch/arm/ |
H A D | irq.c | 65 err = caps_copy_to_cte(&irq_dispatch[nidt], recv, false, 0, 0);
|
/barrelfish-2018-10-04/kernel/arch/x86/ |
H A D | ipi_notify.c | 70 return caps_copy_to_cte(&endpoints[chanid], recv, false, 0, 0);
|
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | irq.c | 541 caps_copy_to_cte(&kcb_current->irq_dispatch[dest_vec],
|
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | irq.c | 590 caps_copy_to_cte(&kcb_current->irq_dispatch[dest_vec],
|
H A D | syscall.c | 696 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 D | cap_delete.c | 709 err = caps_copy_to_cte(ret_cte, target, false, 0, 0);
|
H A D | capabilities.c | 1762 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 D | dispatch.c | 208 err = caps_copy_to_cte(recv_cte, send_cte, false, 0, 0);
|
H A D | startup.c | 259 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 D | syscall.c | 97 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 D | capabilities.h | 124 errval_t caps_copy_to_cte(struct cte *dest_cte, struct cte *src_cte, bool mint,
|
Completed in 163 milliseconds