dev/arm/gic_v3_cpu_interface.cc

57       redistributor(nullptr),
68     redistributor = gic->getRedistributor(cpuId);
961               redistributor->getIntGroup(int_id);
1788             if (affinity_i == redistributor->getAffinity()) {
1840         // SGI or PPI, redistributor
1841         redistributor->activateIRQ(int_id);
1847         redistributor->setClrLPI(int_id, false);
1882         // SGI or PPI, redistributor
1883         redistributor->deactivateIRQ(int_id);
1903                 redistributor->getIntGroup(ich_lr_el2.pINTID);