From 240080f11062cca42f9132cd32fad3b993502665 Mon Sep 17 00:00:00 2001
From: Florian Pose <fp@igh.de>
Date: Tue, 10 Jun 2025 11:53:59 +0200
Subject: [PATCH] Implemented new timer interface for mini example since kernel
 6.15.

---
 examples/mini/mini.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/examples/mini/mini.c b/examples/mini/mini.c
index 8c854e82..ec61a8ad 100644
--- a/examples/mini/mini.c
+++ b/examples/mini/mini.c
@@ -525,7 +525,11 @@ void __exit cleanup_mini_module(void)
 {
     printk(KERN_INFO PFX "Stopping...\n");
 
+#if LINUX_VERSION_CODE >= KERNEL_VERSION(6, 15, 0)
+    timer_delete_sync(&timer);
+#else
     del_timer_sync(&timer);
+#endif
 
 #if EXTERNAL_MEMORY
     kfree(domain1_pd);