Searched full:partitionned (Results 1 – 2 of 2) sorted by relevance
63 interrupt types other than PPI or PPIs that are not partitionned,
1475 * Partitionned PPIs are an unfortunate exception. in gic_irq_domain_translate()