640 /* if pic_type == PIC_IOAPIC */