Searched refs:irq_type (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/lib/dma/include/
H A Ddma_device_internal.h54 dma_irq_t irq_type; member in struct:dma_device
/barrelfish-master/kernel/arch/arm/
H A Dgic.c181 enum IrqType irq_type = get_irq_type(int_id); local
183 if(irq_type != IrqType_PPI) {
/barrelfish-master/usr/drivers/pl390_dist/
H A Dmain.c116 enum IrqType irq_type = get_irq_type(int_id); local
119 if(!(irq_type == IrqType_SPI && int_id <= ds->it_num_lines))
158 if (irq_type == IrqType_SPI) { // rest is ro
/barrelfish-master/lib/dma/ioat/
H A Dioat_dma_device.c125 dev->common.irq_type = DMA_IRQ_DISABLED;
255 dev->common.irq_type = type;
/barrelfish-master/lib/dma/xeon_phi/
H A Dxeon_phi_dma_device.c293 dma_dev->irq_type = DMA_IRQ_DISABLED;

Completed in 263 milliseconds