X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/72f8c5b742f7e0c579f3025c1e736ab5011c10ee..8d488baf66093ccf04050c31a0d49828e4a40332:/kernel/fiasco/src/kern/ia32/timer-apic.cpp

diff --git a/kernel/fiasco/src/kern/ia32/timer-apic.cpp b/kernel/fiasco/src/kern/ia32/timer-apic.cpp
index 8dddbd6f2..c9c60646d 100644
--- a/kernel/fiasco/src/kern/ia32/timer-apic.cpp
+++ b/kernel/fiasco/src/kern/ia32/timer-apic.cpp
@@ -73,10 +73,10 @@ Timer::update_one_shot(Unsigned64 wakeup)
   else
     {
       Unsigned64 delta = wakeup - now;
-      if (delta < 1000)
-	apic = Apic::us_to_apic(1000);
-      else if (delta > 10000)
-	apic = Apic::us_to_apic(10000);
+      if (delta < Config::One_shot_min_interval_us)
+	apic = Apic::us_to_apic(Config::One_shot_min_interval_us);
+      else if (delta > Config::One_shot_max_interval_us)
+	apic = Apic::us_to_apic(Config::One_shot_max_interval_us);
       else
         apic = Apic::us_to_apic(delta);