| /barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mthca/ |
| H A D | mthca_eq.c | 390 static irqreturn_t mthca_tavor_interrupt(int irq, void *dev_ptr) argument
417 static irqreturn_t mthca_tavor_msi_x_interrupt(int irq, void *eq_ptr) argument
430 static irqreturn_t mthca_arbel_interrupt(int irq, void *dev_ptr) argument
451 static irqreturn_t mthca_arbel_msi_x_interrupt(int irq, void *eq_ptr) argument
642 free_irq(dev->pdev->irq, dev);
848 err = request_irq(dev->pdev->irq,
|
| H A D | mthca_cq.c | 950 synchronize_irq(dev->pdev->irq);
|
| /barrelfish-2018-10-04/include/arch/x86_32/barrelfish/ |
| H A D | invocations_arch.h | 521 static inline errval_t invoke_irqtable_set(struct capref irqcap, int irq, argument
529 irq, get_cap_addr(ep)).error;
532 static inline errval_t invoke_irqtable_delete(struct capref irqcap, int irq) argument
|
| /barrelfish-2018-10-04/usr/monitor/ |
| H A D | monitor_rpc_server.c | 215 struct capref ep, uint32_t irq)
220 if (irq <= ARM_IRQ_MAX) {
221 err = invoke_irqtable_set(cap_irq, irq, ep);
214 arm_irq_handle_call(struct monitor_blocking_binding *b, struct capref ep, uint32_t irq) argument
|
| /barrelfish-2018-10-04/lib/blk/blk_ahci/ |
| H A D | ahci_port.c | 18 static struct region_descriptor region_descriptor_new(uint64_t dba, uint32_t dbc, bool irq) argument
23 d.dbc |= irq << 31;
118 printf("[BLK] unhandled irq: %u", ahci_port_is_rd(&port->port));
|
| /barrelfish-2018-10-04/kernel/arch/armv7/ |
| H A D | startup_arch.c | 685 uint32_t irq = gic_get_active_irq(); local
686 gic_ack_irq(irq);
|
| H A D | syscall.c | 17 #include <irq.h>
|
| /barrelfish-2018-10-04/lib/pci/ |
| H A D | pci_client.c | 176 DEBUG_ERR(err, "Could not allocate dest irq cap");
182 DEBUG_ERR(err, "Could not lookup irq vector");
461 uint16_t iomin, uint16_t iomax, int irq,
481 err = pci_client->rpc_tx_vtbl.init_legacy_device(pci_client, iomin, iomax, irq,
460 pci_register_legacy_driver_irq(legacy_driver_init_fn init_func, uint16_t iomin, uint16_t iomax, int irq, interrupt_handler_fn handler, void *handler_arg) argument
|
| /barrelfish-2018-10-04/usr/drivers/e1000/ |
| H A D | devif_backend_e1000.c | 416 &device->irq,
448 err = int_route_client_route_and_connect(device->irq, 0,
|
| /barrelfish-2018-10-04/usr/vmkitmon/ |
| H A D | guest.c | 59 // Saved priority of the most recent irq that is asserted.
591 virq_pending (void *ud, uint8_t *irq, uint8_t *irq_prio) argument
604 if (irq != NULL) {
606 *irq = amd_vmcb_vintr_rd(&g->vmcb).vintr_vector;
608 *irq = info & 0xff;
640 virq_handler (void *ud, uint8_t irq, uint8_t irq_prio) argument
650 amd_vmcb_vintr_vintr_vector_wrf(&g->vmcb, irq);
657 uint64_t info = (0 << 8 /*HWINTR*/) | (1UL << 31 /*INTR VALID*/) | irq;
2612 // the guest has nothing to do - poll out irq sources for pending IRQs
|
| /barrelfish-2018-10-04/kernel/arch/k1om/ |
| H A D | init.c | 21 #include <irq.h>
|
| H A D | startup_arch.c | 20 #include <irq.h>
|
| /barrelfish-2018-10-04/kernel/arch/x86_32/ |
| H A D | init.c | 21 #include <irq.h>
|
| H A D | startup_arch.c | 21 #include <irq.h>
|
| /barrelfish-2018-10-04/kernel/arch/x86_64/ |
| H A D | init.c | 21 #include <irq.h>
|
| H A D | startup_arch.c | 20 #include <irq.h>
|
| H A D | vmx_vmkit.c | 24 #include <irq.h>
|
| /barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/net/mlx4/ |
| H A D | mlx4_devif_queue.c | 1068 priv->eq_table.eq[i].irq = entries[i].vector;
1080 priv->eq_table.eq[i].irq = priv->dev.pdev->irq;
1272 priv->eq_table.eq[priv->dev.caps.num_comp_vectors].irq);
1277 priv->eq_table.eq[priv->dev.caps.num_comp_vectors].irq);
|
| H A D | mlx4.h | 391 u16 irq; member in struct:mlx4_eq
|
| /barrelfish-2018-10-04/usr/arrakismon/ |
| H A D | guest.c | 664 virq_pending (void *ud, uint8_t *irq, uint8_t *irq_prio) argument
671 if (irq != NULL) {
672 *irq = amd_vmcb_vintr_rd(&g->vmcb).vintr_vector;
685 virq_handler (void *ud, uint8_t irq, uint8_t irq_prio) argument
694 amd_vmcb_vintr_vintr_vector_wrf(&g->vmcb, irq);
2050 // the guest has nothing to do - poll out irq sources for pending IRQs
|
| /barrelfish-2018-10-04/kernel/arch/x86/ |
| H A D | startup_x86.c | 24 #include <irq.h>
|
| /barrelfish-2018-10-04/doc/021-cpudriver/ |
| H A D | cpudriver.tex | 214 \fnname{setup\_default\_idt} in \pathname{irq.c}. The number of entries in the
|
| /barrelfish-2018-10-04/kernel/ |
| H A D | syscall.c | 33 #include <irq.h>
|
| /barrelfish-2018-10-04/lib/devif/backends/net/mlx4/include/linux/mlx4/ |
| H A D | device.h | 655 u16 irq; member in struct:mlx4_cq
|
| /barrelfish-2018-10-04/kernel/arch/armv8/ |
| H A D | syscall.c | 20 #include <irq.h>
|