Constant UART0_ICR 

const UART0_ICR: *mut u32 = _; // {0x3f201044 as *mut u32}