IOART_VER_VERSION
db_ioapic_read(io_addr, IOAPIC_ID), r & IOART_VER_VERSION, mre);
(value & IOART_VER_VERSION), (value & IOART_VER_MAXREDIR)
io->io_haseoi = (value & IOART_VER_VERSION) >= 0x20;
flags = ioapic_read(apic, IOAPIC_VER) & IOART_VER_VERSION;