/* Write a byte to the given USART instance.  */
void _usart_async_write_byte(struct _usart_async_device *const device, uint8_t data)
/* Write a byte to the given USART instance.  */
void _usart_async_write_byte(struct _usart_async_device *const device, uint8_t data)
{
	ASSERT(device);
	hri_usart_write_US_THR_reg(device->hw, (hri_usart_us_thr_reg_t)data);
}