PNP_IO_BASE_HIGH
pnp_write(PNP_IO_BASE_HIGH(i), 0);
pnp_write(PNP_IO_BASE_HIGH(i), (start >> 8) & 0xff);