REG_IBRD
[REG_IBRD] = UART011_IBRD,
pl011_write(quot >> 6, uap, REG_IBRD);
[REG_IBRD] = ZX_UART011_IBRD,
ibrd = pl011_read(uap, REG_IBRD);