116 static inline bool ics_valid_irq(ICSState *ics, uint32_t nr)  in ics_valid_irq()  argument
118     return (nr >= ics->offset) && (nr < (ics->offset + ics->nr_irqs));  in ics_valid_irq()
161 void icp_irq(ICSState *ics, int server, int nr, uint8_t priority);
164 void ics_write_xive(ICSState *ics, int nr, int server,
168 static inline bool ics_irq_free(ICSState *ics, uint32_t srcno)  in ics_irq_free()  argument
170     return !(ics->irqs[srcno].flags & XICS_FLAGS_IRQ_MASK);  in ics_irq_free()
173 void ics_set_irq_type(ICSState *ics, int srcno, bool lsi);
175 void ics_pic_print_info(ICSState *ics, GString *buf);
177 void ics_resend(ICSState *ics);
190 void ics_get_kvm_state(ICSState *ics);
191 int ics_set_kvm_state_one(ICSState *ics, int srcno, Error **errp);
192 int ics_set_kvm_state(ICSState *ics, Error **errp);
193 void ics_synchronize_state(ICSState *ics);
194 void ics_kvm_set_irq(ICSState *ics, int srcno, int val);