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);