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