INTR_ISRCF_PPI
INTR_ISRCF_PPI, "%s,p%u", name, irq - GIC_FIRST_PPI);
if (isrc->isrc_flags & INTR_ISRCF_PPI)
if (isrc->isrc_handlers == 0 && isrc->isrc_flags & INTR_ISRCF_PPI) {
flags = INTR_ISRCF_PPI;
flags = INTR_ISRCF_PPI;
flags = INTR_ISRCF_PPI;
flags = INTR_ISRCF_PPI;
flags = INTR_ISRCF_PPI;
INTR_ISRCF_PPI, "%s", name);
isrc->isrc_flags |= INTR_ISRCF_PPI;
INTR_ISRCF_PPI, "%s,p%u", name, irq - GIC_FIRST_PPI);
if (isrc->isrc_flags & INTR_ISRCF_PPI)
if (isrc->isrc_flags & INTR_ISRCF_PPI) {
return ((isrc->isrc_flags & INTR_ISRCF_PPI) != 0);
isrc->isrc_flags & (INTR_ISRCF_PPI | INTR_ISRCF_IPI))
if (isrc->isrc_flags & INTR_ISRCF_PPI)
if ((isrc->isrc_flags & (INTR_ISRCF_PPI | INTR_ISRCF_IPI)) == 0)
? INTR_ISRCF_IPI : INTR_ISRCF_PPI;
if (isrc->isrc_flags & INTR_ISRCF_PPI)