mpc_ioapic_addr
extern unsigned int mpc_ioapic_addr(int ioapic);
ioapic_phys = mpc_ioapic_addr(i);
+ (mpc_ioapic_addr(idx) & ~PAGE_MASK);
mpc_ioapic_addr(idx));
idx, mpc_ioapic_id(idx), mpc_ioapic_ver(idx), mpc_ioapic_addr(idx),
apic_op.apic_physbase = mpc_ioapic_addr(apic);