From 73b6b3e3adcb9d6ea4736c0f95d575db268c992a Mon Sep 17 00:00:00 2001
From: chrysn <chrysn@fsfe.org>
Date: Mon, 18 Nov 2024 21:04:36 +0100
Subject: [PATCH] headers: Don't let C2Rust process xtimer

---
 riot-headers.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/riot-headers.h b/riot-headers.h
index c4ff4d7..166bcdc 100644
--- a/riot-headers.h
+++ b/riot-headers.h
@@ -171,8 +171,11 @@
 #include "uuid.h"
 #endif
 #ifdef MODULE_XTIMER
+// Uses C11 generics since https://github.com/RIOT-OS/RIOT/pull/20494
+#ifndef IS_C2RUST
 #include <xtimer.h>
 #endif
+#endif
 #ifdef MODULE_ZTIMER
 #include <ztimer.h>
 #endif