1584 		int index = i / APERTURE_RANGE_PAGES;  in dma_ops_reserve_addresses()  local
1598 	int index = dma_dom->aperture_size >> APERTURE_RANGE_SHIFT;  in alloc_new_range()  local
3656 	int index;  in __get_gcr3_pte()  local
3958 	int index, c;  in alloc_irq_index()  local
4000 static int get_irte(u16 devid, int index, union irte *irte)  in get_irte()
4016 static int modify_irte(u16 devid, int index, union irte irte)  in modify_irte()
4040 static void free_irte(u16 devid, int index)  in free_irte()
4071 	int index;  in setup_ioapic_entry()  local
4218 	int index;  in msi_alloc_irq()  local
4235 			 int index, int offset)  in msi_setup_irq()
4265 	int index, devid;  in alloc_hpet_msi()  local