CTL_UART_t *platform_uart(int index);
platform_uart returns the UART driver for the UART index. If index does not correspond to a logical platform UART, platform_uart returns zero.