Searched refs:interrupt_type (Results 1 – 1 of 1) sorted by relevance
436 uint32_t interrupt_type = GIC_PPI; in gic_dt_get_irq() local441 interrupt_type = fdt32_to_cpu(properties[0]); in gic_dt_get_irq()446 if (interrupt_type == GIC_PPI && in gic_dt_get_irq()452 if (interrupt_type == GIC_SPI && in gic_dt_get_irq()460 switch (interrupt_type) { in gic_dt_get_irq()