/* This sets up the Interrupt Descriptor Table (IDT) entry for each hardware interrupt (except 128, which is used for system calls), and then tells the Linux infrastructure that each interrupt is controlled by our level-based lguest interrupt controller.  */
static void __init lguest_init_IRQ(void)
/* This sets up the Interrupt Descriptor Table (IDT) entry for each hardware interrupt (except 128, which is used for system calls), and then tells the Linux infrastructure that each interrupt is controlled by our level-based lguest interrupt controller.  */
static void __init lguest_init_IRQ(void)
{
	unsigned int i;
	for (i = FIRST_EXTERNAL_VECTOR; i < NR_VECTORS; i++) {
		__get_cpu_var(vector_irq)[i] = i - FIRST_EXTERNAL_VECTOR;
		if (i != SYSCALL_VECTOR)
			set_intr_gate(i, interrupt[i - FIRST_EXTERNAL_VECTOR]);
	}
	irq_ctx_init(smp_processor_id());
}