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