Constant UART0_IBRD 

const UART0_IBRD: *mut u32 = _; // {0x3f201024 as *mut u32}