| /barrelfish-master/include/int_route/ |
| H A D | int_route_client.h | 24 errval_t int_route_client_route(struct capref intsrc, int irq_idx,
28 errval_t int_route_client_route_and_connect(struct capref intsrc, int irq_idx,
|
| /barrelfish-master/lib/int_route/client/ |
| H A D | client.c | 48 errval_t int_route_client_route(struct capref intsrc, int irq_idx, argument
53 msgerr = cl->rpc_tx_vtbl.route(cl, intsrc, irq_idx, intdest, &err);
82 static errval_t alloc_dest_irq_cap_arm(struct capref irq_src, int irq_idx, struct capref *retcap) argument
91 err = r->rpc_tx_vtbl.get_irq_dest_cap_arm(r, irq_src, irq_idx, retcap, &msgerr);
119 errval_t int_route_client_route_and_connect(struct capref intsrc, int irq_idx, argument
135 err = alloc_dest_irq_cap_arm(intsrc, irq_idx, &irq_dest_cap);
170 err = int_route_client_route(intsrc, irq_idx , irq_dest_cap);
|
| /barrelfish-master/usr/kaluga/ |
| H A D | start_hpet.c | 136 uint64_t *irq_idx) {
154 ctrl_label, irq_idx, &end);
160 assert(*irq_idx == end);
177 uint64_t irq_idx; local
180 err = hpet_comp_get_irq_index(device_record, drv->args[0], &irq_idx);
191 err = cap_retype(irq_cap, *all_irq_cap, irq_idx, ObjType_IRQSrc, irq_idx, 1);
135 hpet_comp_get_irq_index(const char *record, char *ctrl_label, uint64_t *irq_idx) argument
|
| /barrelfish-master/include/pci/ |
| H A D | pci.h | 101 errval_t pci_setup_int_routing(int irq_idx, interrupt_handler_fn handler,
121 * @param irq_idx Interrupt cap index
127 uint16_t iomin, uint16_t iomax, int irq_idx,
189 errval_t pci_setup_int_routing_with_cap(int irq_idx,
|
| /barrelfish-master/lib/int_route/server/ |
| H A D | standalone_armv7.c | 106 struct capref intsource, int irq_idx,
115 if(int_src_num + irq_idx > int_src_num_high || irq_idx < 0){
117 DEBUG_ERR(err, "irq_idx out of range");
123 int_src_num += irq_idx;
105 driver_route_call_armv7(struct int_route_service_binding *b, struct capref intsource, int irq_idx, struct capref intdest) argument
|
| H A D | init.c | 249 struct capref intsource, int irq_idx,
257 if(int_src_num + irq_idx > int_src_num_high || irq_idx < 0){
259 DEBUG_ERR(err, "irq_idx out of range");
265 int_src_num += irq_idx;
248 driver_route_call(struct int_route_service_binding *b, struct capref intsource, int irq_idx, struct capref intdest) argument
|
| /barrelfish-master/lib/pci/ |
| H A D | pci_client.c | 114 * The source capability contains a range of vectors, irq_idx is an offset into
123 errval_t pci_setup_int_routing(int irq_idx, interrupt_handler_fn handler, argument
131 return pci_setup_int_routing_with_cap(irq_idx, irq_src_cap, handler,
139 * The source capability contains a range of vectors, irq_idx is an offset into
148 errval_t pci_setup_int_routing_with_cap(int irq_idx, argument
188 err = int_route_client_route(irq_src_cap, irq_idx, irq_dest_cap);
|
| /barrelfish-master/usr/monitor/ |
| H A D | monitor_rpc_server.c | 413 struct capref irqsrc, int irq_idx)
423 if(irqsrc_cap.u.irqsrc.vec_start + irq_idx > irqsrc_cap.u.irqsrc.vec_end ||
424 irq_idx < 0){
425 USER_PANIC("Invalid irq_idx");
431 irqsrc_cap.u.irqsrc.vec_start + irq_idx - DISP_OFFSET);
433 //printf("requested idx %"PRIu64"\n", irqsrc_cap.u.irqsrc.vec_start + irq_idx);
411 get_irq_dest_cap_arm( struct monitor_blocking_binding *b, struct capref irqsrc, int irq_idx) argument
|