Home
last modified time | relevance | path

Searched defs:ppi_idx (Results 1 – 1 of 1) sorted by relevance

/openbmc/linux/drivers/irqchip/
H A Dirq-gic-v3.c1697 unsigned int type, ret, ppi_idx; in gic_irq_domain_select() local
1737 unsigned int ppi_idx; in partition_domain_translate() local