arch_get_uart_pl011
ArchUARTPL011 *arch_get_uart_pl011(addr_t base, int64 clock);
sArchDebugUART = arch_get_uart_pl011(args->arch_args.uart.regs.start,
sArchDebugUART = arch_get_uart_pl011(0x9000000, 0x16e3600);
sArchDebugUART = arch_get_uart_pl011(args->arch_args.uart.regs.start,