Listing 2

#define UART_TXBUF 0xfffe0004
#define UART_TXCTL 0xfffe0001
*(volatile uint32_t *)UART_TXBUF = 10;
*(volatile uint8_t  *)UART_TXCTL = 3;