/barrelfish-master/include/barrelfish/ |
H A D | inthandler.h | 23 errval_t inthandler_setup_movable_cap(struct capref dest_cap, interrupt_handler_fn handler, void *handler_arg,
|
H A D | invocations.h | 488 * 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 D | irq.h | 161 errval_t irq_connect(struct capability *dest_cap, capaddr_t endpoint_adr);
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | page_mappings_arch.c | 516 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 D | irq.c | 565 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 D | page_mappings_arch.c | 243 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 D | irq.c | 510 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 D | inthandler.c | 158 * \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 D | monitor_rpc_server.c | 381 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 D | irq.h | 213 errval_t irq_connect(struct capability *dest_cap, capaddr_t endpoint_adr);
|
/barrelfish-master/kernel/ |
H A D | capabilities.c | 1881 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 D | paging.c | 563 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 D | paging.c | 627 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 D | invocations_arch.h | 496 static inline errval_t invoke_irqtable_alloc_dest_cap(struct capref irqcap, struct capref dest_cap) argument
|