reg_01.raw = io_apic_read(i, 1); 
reg_01.raw = io_apic_read(apic, 1); 
static void __init enable_IO_APIC(void){	union IO_APIC_reg_01 reg_01;	int i;	unsigned long flags;	for (i = 0; i < PIN_MAP_SIZE; i++) {		irq_2_pin[i].pin = -1;		irq_2_pin[i].next = 0;	}	if (!pirqs_enabled)		for (i = 0; i < MAX_PIRQS; i++)			pirq_entries[i] = -1;	/*	 * The number of IO-APIC IRQ registers (== #pins):	 */	for (i = 0; i < nr_ioapics; i++) {		spin_lock_irqsave(&ioapic_lock, flags);		reg_01.raw = io_apic_read(i, 1);		spin_unlock_irqrestore(&ioapic_lock, flags);		nr_ioapic_registers[i] = reg_01.bits.entries+1;	}	/*	 * Do not trust the IO-APIC being empty at bootup	 */	clear_IO_APIC();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fcfd636a728fe2b8fb8c8fd8c557302059580577/io_apic.c/buggy/arch/i386/kernel/io_apic.c