Searched refs:ppi_idx (Results 1 – 1 of 1) sorted by relevance
1612 unsigned int type, ret, ppi_idx; in gic_irq_domain_select() local1634 ppi_idx = __gic_get_ppi_index(hwirq); in gic_irq_domain_select()1635 return d == partition_get_domain(gic_data.ppi_descs[ppi_idx]); in gic_irq_domain_select()1652 unsigned int ppi_idx; in partition_domain_translate() local1666 ppi_idx = __gic_get_ppi_index(ppi_intid); in partition_domain_translate()1667 ret = partition_translate_id(gic_data.ppi_descs[ppi_idx], in partition_domain_translate()
