arch_get_uart_8250_omap
DebugUART8250* arch_get_uart_8250_omap(addr_t base, int64 clock);
sArchDebugUART = arch_get_uart_8250_omap(args->arch_args.uart.regs.start,