DIO_VIRADDRBASE
va = (void *)(pa + DIO_VIRADDRBASE);
va = (void *)(pa + DIO_VIRADDRBASE);
unsigned long va = (d->resource.start + DIO_VIRADDRBASE);
port.membase = (char *)(port.mapbase + DIO_VIRADDRBASE);
port.membase = (char *)(port.mapbase + DIO_VIRADDRBASE);
port.irq = DIO_IPL(pa + DIO_VIRADDRBASE);
out_8(pa + DIO_VIRADDRBASE + DCA_IC, DCA_IC_IE);
if (DIO_ID(pa + DIO_VIRADDRBASE) & 0x80)
uart.port.membase = (char *)(uart.port.mapbase + DIO_VIRADDRBASE);
out_8(d->resource.start + DIO_VIRADDRBASE + DCA_IC, DCA_IC_IE);
out_8(d->resource.start + DIO_VIRADDRBASE + DCA_ID, 0xff);
uart.port.membase = (char *)(base + DIO_VIRADDRBASE);
out_8(d->resource.start + DIO_VIRADDRBASE + DCA_IC, 0);
vaddr = paddr + DIO_VIRADDRBASE;