Searched defs:ppi_idx (Results 1 – 1 of 1) sorted by relevance
| /Linux-v5.15/drivers/irqchip/ | ||
| D | irq-gic-v3.c | 1521 unsigned int type, ret, ppi_idx; in gic_irq_domain_select() local |
Searched defs:ppi_idx (Results 1 – 1 of 1) sorted by relevance
| /Linux-v5.15/drivers/irqchip/ | ||
| D | irq-gic-v3.c | 1521 unsigned int type, ret, ppi_idx; in gic_irq_domain_select() local |