hpet_index         76 arch/x86/include/asm/hw_irq.h 			int		hpet_index;
hpet_index        426 arch/x86/kernel/apic/msi.c 	return arg->hpet_index;
hpet_index        434 arch/x86/kernel/apic/msi.c 	irq_domain_set_info(domain, virq, arg->hpet_index, info->chip, NULL,
hpet_index        504 arch/x86/kernel/apic/msi.c 	info.hpet_index = dev_num;