Constant UART0_DR 

const UART0_DR: *mut u32 = _; // {0x3f201000 as *mut u32}