Searched refs:ppi_intid (Results 1 – 1 of 1) sorted by relevance
1787 unsigned long ppi_intid; in partition_domain_translate() local1799 ret = gic_irq_domain_translate(d, fwspec, &ppi_intid, type); in partition_domain_translate()1803 ppi_idx = __gic_get_ppi_index(ppi_intid); in partition_domain_translate()