IOSAPIC_IRDT_ENTRY
*dp0 = iosapic_read(isp->addr, IOSAPIC_IRDT_ENTRY(idx));
iosapic_write(isp->addr, IOSAPIC_IRDT_ENTRY(vi->irqline), dp0);