| /barrelfish-2018-10-04/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
|
| /barrelfish-2018-10-04/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 | 358 static inline errval_t invoke_irqtable_alloc_dest_cap(struct capref irqcap, struct capref dest_cap) argument
360 uint8_t dcn_level = get_cnode_level(dest_cap);
361 capaddr_t dcn_addr = get_cnode_addr(dest_cap);
363 dcn_level, dcn_addr, dest_cap.slot);
|
| /barrelfish-2018-10-04/kernel/arch/armv7/ |
| H A D | paging.c | 556 struct capability *dest_cap = &dest_vnode_cte->cap; local
560 if (ObjType_VNode_ARM_l1 == dest_cap->type) {
562 err = caps_map_l1(dest_cap, dest_slot, src_cap,
569 else if (ObjType_VNode_ARM_l2 == dest_cap->type) {
571 err = caps_map_l2(dest_cap, dest_slot, src_cap,
|
| /barrelfish-2018-10-04/kernel/arch/armv8/ |
| H A D | paging.c | 626 typedef errval_t (*mapping_handler_t)(struct capability *dest_cap,
649 struct capability *dest_cap = &dest_vnode_cte->cap; local
651 mapping_handler_t handler_func = handler[dest_cap->type];
657 err = handler_func(dest_cap, dest_slot, src_cap, flags, offset, pte_count,
|
| /barrelfish-2018-10-04/kernel/arch/x86_32/ |
| 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;
|
| 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,
|
| /barrelfish-2018-10-04/kernel/arch/x86_64/ |
| H A D | irq.c | 559 errval_t irq_connect(struct capability *dest_cap, capaddr_t endpoint_adr) argument
583 assert(dest_cap->type == ObjType_IRQDest);
584 if(dest_cap->u.irqdest.cpu != my_core_id){
588 uint64_t dest_vec = dest_cap->u.irqdest.vector - 32;
|
| H A D | page_mappings_arch.c | 275 typedef errval_t (*mapping_handler_t)(struct capability *dest_cap,
301 struct capability *dest_cap = &dest_vnode_cte->cap; local
302 mapping_handler_t handler_func = handler[dest_cap->type];
322 errval_t r = handler_func(dest_cap, dest_slot, src_cap, flags, offset,
|
| /barrelfish-2018-10-04/kernel/ |
| H A D | capabilities.c | 1682 struct capability *dest_cap = &dest_cte->cap; local
1683 dest_cap->u.endpoint.listener = src_cap->u.dispatcher.dcb;
1778 struct capability *dest_cap = &dest_cte->cap; local
1791 /* Insert #source_cap into #dest_cap */
1792 err = set_cap(dest_cap, src_cap);
1828 dest_cap->u.endpoint.listener->disp == NULL ||
1831 (1UL << dest_cap->u.endpoint.listener->disp_cte.cap.u.frame.bits)) {
1837 dest_cap->u.endpoint.epoffset = param1;
1838 dest_cap->u.endpoint.epbuflen = param2;
1843 dest_cap
[all...] |
| /barrelfish-2018-10-04/kernel/include/arch/x86_32/ |
| H A D | irq.h | 213 errval_t irq_connect(struct capability *dest_cap, capaddr_t endpoint_adr);
|
| /barrelfish-2018-10-04/kernel/include/arch/x86_64/ |
| H A D | irq.h | 161 errval_t irq_connect(struct capability *dest_cap, capaddr_t endpoint_adr);
|
| /barrelfish-2018-10-04/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-2018-10-04/usr/monitor/ |
| H A D | monitor_rpc_server.c | 370 struct capref dest_cap; local
371 slot_alloc(&dest_cap);
372 err = invoke_irqtable_alloc_dest_cap(cap_irq, dest_cap);
379 err = b->tx_vtbl.get_irq_dest_cap_response(b, NOP_CONT, dest_cap,
|