dev/arm/gic_v3_distributor.hh

177     void activateIRQ(uint32_t int_id);
178     void deactivateIRQ(uint32_t int_id);
180     Gicv3::GroupId getIntGroup(int int_id) const;
216     Gicv3::IntStatus intStatus(uint32_t int_id) const;
218     inline bool isNotSPI(uint32_t int_id) const
220         if (int_id < (Gicv3::SGI_MAX + Gicv3::PPI_MAX) || int_id >= itLines) {
227     inline bool nsAccessToSecInt(uint32_t int_id, bool is_secure_access) const
229         return !DS && !is_secure_access && getIntGroup(int_id) != Gicv3::G1NS;
235     Gicv3CPUInterface* route(uint32_t int_id);
241     void deassertSPI(uint32_t int_id);
242     void clearIrqCpuInterface(uint32_t int_id);
245     void sendInt(uint32_t int_id);