/* Write a byte to the given SERCOM USART instance.  */
void _usart_sync_write_byte(struct _usart_sync_device *const device, uint8_t data)
/* Write a byte to the given SERCOM USART instance.  */
void _usart_sync_write_byte(struct _usart_sync_device *const device, uint8_t data)
{
	hri_sercomusart_write_DATA_reg(device->hw, data);
}