/* Output a character in polled mode. 
Checks if the transmitter is empty. If empty, a character is written to the data register. */
static void uart_cmsdk_apb_poll_out(const struct device *dev, unsigned char c)
/* Output a character in polled mode. 
Checks if the transmitter is empty. If empty, a character is written to the data register. */
static void uart_cmsdk_apb_poll_out(const struct device *dev, unsigned char c)
{
	const struct uart_cmsdk_apb_config *dev_cfg = dev->config;
	while (dev_cfg->uart->state & UART_TX_BF) {
		;
	}
	dev_cfg->uart->data = (uint32_t)c;
}