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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/
H A Dgic.c58 uint32_t irq_type = 0; local
66 irq_type = READ_CELL(1, curr, EXT_INT_TYPE_OFFSET);
69 irq_type = READ_CELL(1, curr, INT_TYPE_OFFSET);
72 curr_irq.irq.number = irq + (irq_type == SPI_IRQ_TYPE ? 32 : 0);
H A Dgicv3.c91 uint32_t irq_type = 0; local
102 irq_type = READ_CELL(1, curr, EXT_INT_TYPE_OFFSET);
109 irq_type = READ_CELL(1, curr, INT_TYPE_OFFSET);
119 if (irq_type == SPI_INTERRUPTS || irq_type == EXTENDED_SPI_INTERRUPTS) {
122 } else if (irq_type == PPI_INTERRUPTS || irq_type == EXTENDED_PPI_INTERRUPTS) {
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dirq.h27 typedef enum irq_type { enum
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/
H A Dvpci.c58 uint32_t irq_type; member in struct:pci_interrupt_map
61 uint64_t irq_type; member in struct:pci_interrupt_map
296 irq_map.irq_type = 0;

Completed in 200 milliseconds