/barrelfish-2018-10-04/usr/arrakismon/ |
H A D | pc16550d.c | 28 pc16550d_new (uint16_t base_port, uint8_t irq, struct lpc *lpc) argument 37 u->irq = irq; 48 * \brief Check all necessary conditions to raise a certain irq and does so. 83 lpc_pic_assert_irq(u->lpc, u->irq);
|
H A D | lpc.h | 26 * #irq and #irq_prio are defined if the fuction returns true. The describe 29 typedef bool (*lpc_virtual_irq_pending) (void *user_data, uint8_t *irq, 35 typedef void (*lpc_virtual_irq_handler) (void *user_data, uint8_t irq, 294 void lpc_pic_assert_irq (struct lpc *l, uint8_t irq);
|
/barrelfish-2018-10-04/usr/drivers/e1000/ |
H A D | e1000n_devq.h | 21 struct capref irq; member in struct:e1000_queue
|
H A D | e1000n.c | 386 struct capref *irq, errval_t* err) 401 *err = pcid_get_interrupt_cap(&driver->pdc, irq); 414 struct capref irq; local 416 cd_create_queue_rpc(b, rx, tx, interrupt, &mac, ®s, &irq, &err); 423 err = b->tx_vtbl.create_queue_response(b, NOP_CONT, mac, regs, irq, err); 383 cd_create_queue_rpc(struct e1000_devif_binding *b, struct capref rx, struct capref tx, bool interrupt, uint64_t *mac, struct capref *regs, struct capref *irq, errval_t* err) argument
|
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | inthandler.c | 22 static errval_t arm_allocirq(struct capref ep, uint32_t irq) argument 27 err = r->rpc_tx_vtbl.arm_irq_handle(r, ep, irq, &msgerr); 37 * Get a new irq destination capability for the current core using the monitor. 106 * \param irq the IRQ number to activate 109 uint32_t irq) 136 err = arm_allocirq(epcap, irq); 247 DEBUG_ERR(err, "Could not allocate dest irq cap"); 270 DEBUG_ERR(err, "Could not lookup irq vector"); 108 inthandler_setup_arm(interrupt_handler_fn handler, void *handler_arg, uint32_t irq) argument
|
H A D | dispatch.c | 53 void disp_trap(dispatcher_handle_t handle, uintptr_t irq, uintptr_t error, 445 * \param irq Trap vector 449 void disp_trap(dispatcher_handle_t handle, uintptr_t irq, uintptr_t error, argument 467 switch (irq) { 485 thread_deliver_exception_disabled(handle, type, irq, (void *)ip, regs); 491 DISP_NAME_LEN, disp->name, irq, error, ip);
|
/barrelfish-2018-10-04/usr/vmkitmon/ |
H A D | pci.h | 63 uint8_t irq; member in struct:pci_device
|
H A D | pc16550d.c | 37 pc16550d_new (uint16_t base_port, uint8_t irq, struct lpc *lpc) argument 46 u->irq = irq; 58 * \brief Check all necessary conditions to raise a certain irq and does so. 93 lpc_pic_assert_irq(u->lpc, u->irq);
|
H A D | pci_vmkitmon_eth.c | 49 lpc_pic_assert_irq(dev->lpc, dev->irq); 262 VMKITMON_ETH_DEBUG("mem_write addr: 0x%x, bar: %d, val: 0x%x, irq: %d\n",addr, bar, val, dev->irq ); 298 if(addr != 0) VMKITMON_ETH_DEBUG("mem_read addr: 0x%x, bar: %d, asserting irq: %d\n",addr, bar, dev->irq); 323 dev->irq = PCI_ETHERNET_IRQ;
|
H A D | lpc.h | 26 * #irq and #irq_prio are defined if the fuction returns true. The describe 29 typedef bool (*lpc_virtual_irq_pending) (void *user_data, uint8_t *irq, 35 typedef void (*lpc_virtual_irq_handler) (void *user_data, uint8_t irq, 307 void lpc_pic_assert_irq (struct lpc *l, uint8_t irq);
|
H A D | pci_ethernet.c | 255 lpc_pic_assert_irq(dev->lpc, dev->irq); 273 dev->irq = PCI_ETHERNET_IRQ;
|
/barrelfish-2018-10-04/usr/pci/ |
H A D | pci_service.c | 87 uint8_t irq, coreid_t coreid, 93 PCI_DEBUG("pci: init_legacy_device_handler: called. irq:%"PRIu8", coreid:%"PRIuCOREID", vector:%"PRIu32"\n", irq, coreid, vector); 117 e = cl->rpc_tx_vtbl.enable_and_route_interrupt(cl, irq, coreid, vector, &ret_error); 120 DEBUG_ERR(e, "failed to route interrupt %d -> %d\n", irq, vector); 184 int irq = pci_setup_interrupt(st->bus, st->dev, st->fun); local 191 err = sys_debug_create_irq_src_cap(cap, irq, irq); 193 USER_PANIC_ERR(err, "create irq src cap failed."); 85 init_legacy_device_handler(struct pci_binding *b, uint16_t iomin, uint16_t iomax, uint8_t irq, coreid_t coreid, uint32_t vector) argument
|
H A D | pci.h | 37 uint32_t irq;
|
H A D | pci.c | 476 int irq = pci_setup_interrupt(*bus, *dev, *fun); local 478 PCI_DEBUG("pci: irq = %u, core = %hhu, vector = %u\n", 479 irq, coreid, vector); 482 err = cl->rpc_tx_vtbl.enable_and_route_interrupt(cl, irq, coreid, vector, &ret_error); 485 // printf("IRQ for this device is %d\n", irq); 635 PCI_DEBUG("get irq table for (%hhu,%hhu,%hhu)\n", (*busnum) + 2, 1648 uint8_t irq; local 1649 sscanf(output, "%s %hhu", ldev, &irq); 1653 printf("Got GSI %u\n", irq); 1654 return irq; [all...] |
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | exec.c | 20 #include <irq.h>
|
/barrelfish-2018-10-04/usr/drivers/serial/ |
H A D | serial_pc16550d.c | 105 if(params->irq != SERIAL_IRQ_INVALID) { 106 printf("irq argument not supported. "
|
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | invocations.h | 381 static inline errval_t invoke_irqtable_set(struct capref irqcap, int irq, argument 384 return cap_invoke3(irqcap, IRQTableCmd_Set, irq, get_cap_addr(ep)).error; 387 static inline errval_t invoke_irqtable_delete(struct capref irqcap, int irq) argument 389 return cap_invoke2(irqcap, IRQTableCmd_Delete, irq).error;
|
/barrelfish-2018-10-04/usr/drivers/xeon_phi/ |
H A D | xeon_phi_internal.h | 137 struct irq_info *irq; ///< pointer to the IRQ information struct member in struct:xeon_phi
|
/barrelfish-2018-10-04/usr/drivers/usb/usb_manager/ |
H A D | usb_manager.c | 360 uint32_t irq = strtoul(argv[2], NULL, 10); local 366 err = inthandler_setup_arm(usb_hc_intr_handler, NULL, irq);
|
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/net/mlx4/ |
H A D | cq.c | 338 cq->irq = priv->eq_table.eq[cq->vector].irq; 364 synchronize_irq(priv->eq_table.eq[cq->vector].irq);
|
/barrelfish-2018-10-04/usr/drivers/omap44xx/sdma/ |
H A D | omap_sdma.c | 94 int irq = gic_get_active_irq(); local 95 if(irq == OMAP44XX_SDMA_IRQ) { 98 gic_ack_irq(irq); 384 // reset irq status for this channel
|
/barrelfish-2018-10-04/include/pci/ |
H A D | pci.h | 99 uint16_t iomin, uint16_t iomax, int irq,
|
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | exec.c | 20 #include <irq.h>
|
/barrelfish-2018-10-04/kernel/ |
H A D | sys_debug.c | 34 #include <irq.h>
|
/barrelfish-2018-10-04/usr/acpi/ |
H A D | acpi_service.c | 174 static void set_device_irq_handler(struct acpi_binding *b, const char* device, uint32_t irq) argument 176 errval_t err = set_device_irq(device,irq);
|