DF-5597 / drift_now.log
sizeof(struct ioapic_irqinfo) = 16 1 << IOAPIC_IRQI_SZSHIFT = 16 INVARIANT HOLDS (matches live kernel: assym.s IOAPIC_IRQI_SIZE 0x10 / IOAPIC_IRQI_SZSHIFT 0x4)
sizeof(struct ioapic_irqinfo) = 16 1 << IOAPIC_IRQI_SZSHIFT = 16 INVARIANT HOLDS (matches live kernel: assym.s IOAPIC_IRQI_SIZE 0x10 / IOAPIC_IRQI_SZSHIFT 0x4)