diff --git a/repos/base/include/drivers/uart/exynos.h b/repos/base/include/drivers/uart/exynos.h
index 11caafd5c2..1fbb0780ad 100644
--- a/repos/base/include/drivers/uart/exynos.h
+++ b/repos/base/include/drivers/uart/exynos.h
@@ -193,7 +193,7 @@ class Genode::Exynos_uart: Mmio
 		 */
 		char _rx_char()
 		{
-			read<Ufcon>();
+			(void)read<Ufcon>();
 			char c = read<Urxh::Receive_data>();
 
 			/* clear pending RX IRQ */