Searched refs:interrupt_type (Results 1 – 1 of 1) sorted by relevance
444 uint32_t interrupt_type = GIC_PPI; in gic_dt_get_irq() local449 interrupt_type = fdt32_to_cpu(properties[0]); in gic_dt_get_irq()454 if (interrupt_type == GIC_PPI && in gic_dt_get_irq()460 if (interrupt_type == GIC_SPI && in gic_dt_get_irq()468 switch (interrupt_type) { in gic_dt_get_irq()