Constant UART0_IMSC 

const UART0_IMSC: *mut u32 = _; // {0x3f201038 as *mut u32}