Lines Matching refs:platform
51 platform(p->platform)
53 RealView *const rv(dynamic_cast<RealView*>(p->platform));
54 // The platform keeps track of the GIC that is hooked up to the
56 // platform can't take a GIC as parameter. Instead, we need to
57 // register with the platform when a new GIC is created. If we
58 // can't find a platform, something is seriously wrong.
59 fatal_if(!rv, "GIC model can't register with platform code");
86 : ArmInterruptPinGen(p), pin(new ArmSPI(p->platform, p->num))
115 ArmPPI *pin = new ArmPPI(p->platform, tc, p->num);
125 : threadContext(tc), platform(dynamic_cast<RealView*>(_platform)),
128 fatal_if(!platform, "Interrupt not connected to a RealView platform");
157 platform->gic->sendInt(intNum);
163 platform->gic->clearInt(intNum);
175 platform->gic->sendPPInt(intNum, targetContext());
181 platform->gic->clearPPInt(intNum, targetContext());