redir_index        71 arch/x86/kvm/ioapic.c 			u32 redir_index = (ioapic->ioregsel - 0x10) >> 1;
redir_index        74 arch/x86/kvm/ioapic.c 			if (redir_index < IOAPIC_NUM_PINS) {
redir_index        76 arch/x86/kvm/ioapic.c 					redir_index, IOAPIC_NUM_PINS);