UART_KIND_8250
strcpy(uart.kind, UART_KIND_8250);
strcpy(uart.kind, UART_KIND_8250);
{ "ns16550a", UART_KIND_8250, &get_uart<DebugUART8250> },
{ "ns16550", UART_KIND_8250, &get_uart<DebugUART8250> },
{ "snps,dw-apb-uart", UART_KIND_8250, &get_uart<DebugUART8250> },
{ "brcm,bcm2835-aux-uart", UART_KIND_8250, &get_uart<DebugUART8250> },
{ "brcm,bcm2835-aux-uart", UART_KIND_8250, &get_uart<DebugUART8250> },
strcpy(sUart.kind, UART_KIND_8250);
} else if (strncmp(args->arch_args.uart.kind, UART_KIND_8250,
}*/ else if (strncmp(args->arch_args.uart.kind, UART_KIND_8250,
if (strncmp(args->arch_args.uart.kind, UART_KIND_8250,