rt/msr_module.c
changeset 40 d07ebafe62dd
parent 38 3213cbbd58b7
child 42 a22a202d0f42
--- a/rt/msr_module.c	Mon Dec 19 08:13:11 2005 +0000
+++ b/rt/msr_module.c	Fri Dec 23 08:20:10 2005 +0000
@@ -248,7 +248,7 @@
 
     ms++;
     ms %= 1000;
-    if (cnt++ > 20)
+    if (cnt++ > 200)
     {
         cnt = 0;
 
@@ -321,16 +321,16 @@
 //    timer.expires += 1;
 //    add_timer(&timer);
 
-    ipipe_control_irq(irq,0,IPIPE_ENABLE_MASK);  //nicht weiterreichen
+    ipipe_control_irq(irq,0,IPIPE_ENABLE_MASK);  //Interrupt bestˇätigen
     if(counter++ > HZREDUCTION) {
-	ipipe_propagate_irq(irq);  //wie lange braucht der Rest der Pipeline ??
+	ipipe_propagate_irq(irq);  //und weiterreichen
 	counter = 0;
     }
 
 
 }
 
-void domain_entry (int iflag) {
+void domain_entry (void) {
     printk("Domain %s started.\n",	ipipe_current_domain->name);