/* Read a byte from the given USART instance.  */
uint8_t _usart_usart_sync_read_byte(const struct _usart_sync_device *const device)
/* Read a byte from the given USART instance.  */
uint8_t _usart_usart_sync_read_byte(const struct _usart_sync_device *const device)
{
	ASSERT(device);
	return (uint8_t)(hri_usart_read_US_RHR_reg(device->hw) & 0xff);
}