update

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

diff --git a/kernel/fiasco/src/kern/ia32/idt.cpp b/kernel/fiasco/src/kern/ia32/idt.cpp
index be65a8acabb7665e35c959d37c252c406a901a82..35a866cd712ac7f92d303c069f541aea08ff7da0 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/idt.cpp
+++ b/kernel/fiasco/src/kern/ia32/idt.cpp
@@ -42,15 +42,15 @@ PRIVATE static
 void
 Idt::set_writable(bool writable)
 {
-  Pdir::Iter e = Kmem::dir()->walk(Virt_addr(_idt));
+  auto e = Kmem::dir()->walk(Virt_addr(_idt));
 
   // Make sure page directory entry is valid and not a 4MB page
-  assert (e.e->valid() && e.shift() < Config::SUPERPAGE_SHIFT);
+  assert (e.is_valid() && e.level == Pdir::Depth);
 
   if (writable)
-    e.e->add_attr(Pt_entry::Writable); // Make read-write
+    e.add_attribs(Pt_entry::Writable); // Make read-write
   else
-    e.e->del_attr(Pt_entry::Writable); // Make read-only
+    e.del_attribs(Pt_entry::Writable); // Make read-only
 
   Mem_unit::tlb_flush (_idt);
 }