IOAPIC_NUM_PINS
if (RTC_GSI >= IOAPIC_NUM_PINS)
for_each_set_bit(idx, &irr, IOAPIC_NUM_PINS)
for (index = 0; index < IOAPIC_NUM_PINS; index++) {
if (index >= IOAPIC_NUM_PINS)
index = array_index_nospec(index, IOAPIC_NUM_PINS);
result = ((((IOAPIC_NUM_PINS - 1) & 0xff) << 16)
BUG_ON(irq < 0 || irq >= IOAPIC_NUM_PINS);
for (i = 0; i < IOAPIC_NUM_PINS; i++) {
for (i = 0; i < IOAPIC_NUM_PINS; i++) {
if (redir_index < IOAPIC_NUM_PINS) {
redir_index, IOAPIC_NUM_PINS);
for (i = 0; i < IOAPIC_NUM_PINS; i++)
union kvm_ioapic_redirect_entry redirtbl[IOAPIC_NUM_PINS];
unsigned long irq_states[IOAPIC_NUM_PINS];
u32 irq_eoi[IOAPIC_NUM_PINS];