Constant UART7 

pub const UART7: *mut () = _; // {0x40007800 as *mut ()}