update

[l4.git] / kernel / fiasco / src / kern / ia32 / apic-ia32.cpp

diff --git a/kernel/fiasco/src/kern/ia32/apic-ia32.cpp b/kernel/fiasco/src/kern/ia32/apic-ia32.cpp
index fd172e93a73d0906593f44280dcae8f041c14d4d..a4eb5fb463b4dc74748562215a5c08a568d843a7 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/apic-ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/apic-ia32.cpp
@@ -547,7 +547,7 @@ Apic::enable_errors()
       if (get_max_lvt() > 3)
        clear_num_errors();
       after = get_num_errors();
-      printf("APIC ESR value before/after enabling: %08x/%08x\n", 
+      printf("APIC ESR value before/after enabling: %08x/%08x\n",
            before, after);
     }
 }