Searched refs:dest_cap (Results 1 - 14 of 14) sorted by relevance

/barrelfish-master/include/barrelfish/
H A Dinthandler.h23 errval_t inthandler_setup_movable_cap(struct capref dest_cap, interrupt_handler_fn handler, void *handler_arg,
H A Dinvocations.h488 * Allocate a free entry in the vector table and return it as dest_cap.
493 struct capref dest_cap,
497 uint8_t dcn_level = get_cnode_level(dest_cap);
498 capaddr_t dcn_addr = get_cnode_addr(dest_cap);
500 dcn_level, dcn_addr, dest_cap.slot, vec_hint);
492 invoke_irqtable_alloc_dest_cap(struct capref irqcap, struct capref dest_cap, int vec_hint ) argument
/barrelfish-master/kernel/include/arch/x86_64/
H A Dirq.h161 errval_t irq_connect(struct capability *dest_cap, capaddr_t endpoint_adr);
/barrelfish-master/kernel/arch/x86_64/
H A Dpage_mappings_arch.c516 typedef errval_t (*mapping_handler_t)(struct capability *dest_cap,
549 struct capability *dest_cap = &dest_vnode_cte->cap; local
550 mapping_handler_t handler_func = handler[dest_cap->type];
573 errval_t r = handler_func(dest_cap, dest_slot, src_cap, flags, offset,
674 struct capability *dest_cap = &dest_vnode_cte->cap; local
675 mapping_handler_t handler_func = handler[dest_cap->type];
688 switch(dest_cap->type) {
699 printf("%s: unknown dest VNode: %d\n", __FUNCTION__, dest_cap->type);
710 read_pt_entry(dest_cap, dest_slot, &gpfromaddr, NULL, NULL);
718 err = handler_func(dest_cap, dest_slo
[all...]
H A Dirq.c565 errval_t irq_connect(struct capability *dest_cap, capaddr_t endpoint_adr) argument
589 assert(dest_cap->type == ObjType_IRQDest);
590 if(dest_cap->u.irqdest.cpu != my_core_id){
594 uint64_t dest_vec = dest_cap->u.irqdest.vector - 32;
/barrelfish-master/kernel/arch/x86_32/
H A Dpage_mappings_arch.c243 typedef errval_t (*mapping_handler_t)(struct capability *dest_cap,
269 struct capability *dest_cap = &dest_vnode_cte->cap; local
270 mapping_handler_t handler_func = handler[dest_cap->type];
284 errval_t r = handler_func(dest_cap, dest_slot, src_cap, flags, offset,
H A Dirq.c510 errval_t irq_connect(struct capability *dest_cap, capaddr_t endpoint_adr) argument
534 assert(dest_cap->type == ObjType_IRQDest);
535 if(dest_cap->u.irqdest.controller != my_core_id){
539 uint64_t dest_vec = dest_cap->u.irqdest.vector;
/barrelfish-master/lib/barrelfish/
H A Dinthandler.c158 * \brief Setup an interrupt handler function to receive device interrupts targeted at dest_cap
160 * \param dest_cap Capability to an interrupt line that targets the last level controller (such as local APIC)
164 errval_t inthandler_setup_movable_cap(struct capref dest_cap, interrupt_handler_fn handler, void *handler_arg, argument
207 // Connect dest_cap with endpoint
208 invoke_irqdest_connect(dest_cap, epcap);
/barrelfish-master/usr/monitor/
H A Dmonitor_rpc_server.c381 struct capref dest_cap; local
382 slot_alloc(&dest_cap);
383 err = invoke_irqtable_alloc_dest_cap(cap_irq, dest_cap, -1);
390 err = b->tx_vtbl.get_irq_dest_cap_response(b, NOP_CONT, dest_cap,
428 struct capref dest_cap; local
429 slot_alloc(&dest_cap);
430 err = invoke_irqtable_alloc_dest_cap(cap_irq, dest_cap,
438 err = b->tx_vtbl.get_irq_dest_cap_arm_response(b, NOP_CONT, dest_cap,
/barrelfish-master/kernel/include/arch/x86_32/
H A Dirq.h213 errval_t irq_connect(struct capability *dest_cap, capaddr_t endpoint_adr);
/barrelfish-master/kernel/
H A Dcapabilities.c1881 struct capability *dest_cap = &dest_cte->cap; local
1882 dest_cap->u.endpointlmp.listener = src_cap->u.dispatcher.dcb;
1980 struct capability *dest_cap = &dest_cte->cap; local
1993 /* Insert #source_cap into #dest_cap */
1994 err = set_cap(dest_cap, src_cap);
2030 dest_cap->u.endpointlmp.endpointlmp->disp == NULL ||
2033 (1UL << dest_cap->u.endpointlmp.listener->disp_cte.cap.u.frame.bits)) {
2041 dest_cap->u.endpointlmp.epoffset = param1;
2042 dest_cap->u.endpointlmp.epbuflen = buflen;
2043 dest_cap
[all...]
/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c563 struct capability *dest_cap = &dest_vnode_cte->cap; local
567 if (ObjType_VNode_ARM_l1 == dest_cap->type) {
569 err = caps_map_l1(dest_cap, dest_slot, src_cap,
576 else if (ObjType_VNode_ARM_l2 == dest_cap->type) {
578 err = caps_map_l2(dest_cap, dest_slot, src_cap,
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c627 typedef errval_t (*mapping_handler_t)(struct capability *dest_cap,
650 struct capability *dest_cap = &dest_vnode_cte->cap; local
652 mapping_handler_t handler_func = handler[dest_cap->type];
658 err = handler_func(dest_cap, dest_slot, src_cap, flags, offset, pte_count,
/barrelfish-master/include/arch/x86_32/barrelfish/
H A Dinvocations_arch.h496 static inline errval_t invoke_irqtable_alloc_dest_cap(struct capref irqcap, struct capref dest_cap) argument

Completed in 290 milliseconds