arch_get_uart_8250
DebugUART8250* arch_get_uart_8250(addr_t base, int64 clock);
gUART = arch_get_uart_8250(0x3f8, 1843200);
sArchDebugUART = arch_get_uart_8250(args->arch_args.uart.regs.start,
sArchDebugUART = arch_get_uart_8250(args->arch_args.uart.regs.start,
sArchDebugUART = arch_get_uart_8250(args->arch_args.uart.regs.start,