db_ioapic_read
r = db_ioapic_read(io_addr, IOAPIC_VER);
db_ioapic_read(io_addr, IOAPIC_ID), r & IOART_VER_VERSION, mre);
lo = db_ioapic_read(io_addr, IOAPIC_REDTBL_LO(i));
hi = db_ioapic_read(io_addr, IOAPIC_REDTBL_HI(i));