/* Write a byte to the given I2C instance.  */
void _i2c_s_async_write_byte(struct _i2c_s_async_device *const device, const uint8_t data)
/* Write a byte to the given I2C instance.  */
void _i2c_s_async_write_byte(struct _i2c_s_async_device *const device, const uint8_t data)
{
	hri_sercomi2cs_write_DATA_reg(device->hw, data);
}