update

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

diff --git a/kernel/fiasco/src/kern/ia32/32/paging-ia32-32.cpp b/kernel/fiasco/src/kern/ia32/32/paging-ia32-32.cpp
index b93ab219cf5dac4e57d851ada11b1a23cc58842c..38b62fb185b32091b6bdf2699a7d9b3e4c514aac 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/32/paging-ia32-32.cpp
+++ b/kernel/fiasco/src/kern/ia32/32/paging-ia32-32.cpp
@@ -45,7 +45,7 @@ class Pt_entry : public Pte_base
 public:
   enum { Page_shift = Config::PAGE_SHIFT };
   Mword leaf() const { return true; }
-  void set(Address p, bool intermed, bool present, unsigned long attrs = 0) 
+  void set(Address p, bool intermed, bool present, unsigned long attrs = 0)
   {
     _raw = (p & Pfn) | (present ? 1 : 0)
       | (intermed ? (Writable | User | Cacheable) : 0) | attrs;