update

[l4.git] / 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 8dddbd6f257c465431c46a7e9a2ace919bb4f84e..c9c60646d9ad4e58674fa4536e9fa6e80b092161 100644 (file)
--- 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);