iosapic_read
*dp0 = iosapic_read(isp->addr, IOSAPIC_IRDT_ENTRY(idx));
*dp1 = iosapic_read(isp->addr, IOSAPIC_IRDT_ENTRY_HI(idx));
d1 = iosapic_read(isp->addr, d0);
return iosapic_read(isi->addr, IOSAPIC_REG_VERSION);