Constant UART9 

pub const UART9: *mut () = _; // {0x42001800 as *mut ()}