UART_IBRD          42 bsp/boot/arm/integrator/debug.c #define UART_IBRD	(*(volatile uint32_t *)(UART_BASE + 0x24))
UART_IBRD          56 bsp/drv/dev/serial/pl011.c #define UART_IBRD	(UART_BASE + 0x24)