UART_WFIFO_REG
uartaddr[UART_WFIFO_REG/4] = c;
bus_space_write_4(bst, bsh, UART_WFIFO_REG, c);
UART_WFIFO_REG, *p);