UART_IBRD 113 bsp/boot/arm/integrator/debug.c UART_IBRD = divider; UART_IBRD 204 bsp/drv/dev/serial/pl011.c bus_write_32(UART_IBRD, divider);